Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Logic Programming and Automated Reasoning

5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings

Language EnglishEnglish
Book Paperback
Book Logic Programming and Automated Reasoning Frank Pfenning
Libristo code: 05274399
Publishers Springer, Berlin, November 1993
This volume presents the proceedings of the 5th International Conference on Logic Programming and Au... Full description
? points 125 b
51.73 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

trattore Lara Bryan / Book Board book
common.buy 19.53 €
Buenas noches, Irene Francisco González / Book Paperback
common.buy 18.62 €
Reise Know-How Reiseführer Vietnam Ulrike Niederer / Book Paperback
common.buy 24.19 €
Mobilní včelaření Marc-Wilhelm Kohfink / Book Hardback
common.buy 10.42 €
Corporate Social Responsibility - Mythen und Massnahmen Gisela Burckhardt / Book Paperback
common.buy 37.86 €
Über den Ursprung der Sprache Wilhelm Heinrich Immanuel Bleek / Book Paperback
common.buy 17.10 €
Afterdark Haruki Murakami / Book Paperback
common.buy 11.84 €
avventure di Pinocchio. Con sette note di Carlo Fruttero e Franco Lucentini Carlo Collodi / Book Book
common.buy 16.70 €
Anna Kadabra 16 El Libro Prohibido Pedro Mañas / Book Paperback
common.buy 12.04 €
SPIRITUS MUNDUM ADUNANS PETR EBEN Book binding.
common.buy 25.31 €
Portes Cocheres Et Portes d'Entrees Des Maisons Et Edifices de Paris, Levees, Mesurees Et Dessinees Jean-Charles Krafft / Book Paperback
common.buy 17.41 €
I Dodici Canti: Épopée Romanesque Du Xvie Si?cle Luigi Alamanni / Book Paperback
common.buy 26.01 €
Histoire de La Revolution de 1848, 6... Louis-Antoine Garnier-Pages / Book Paperback
common.buy 27.84 €
Analisis del discurso politico del CRIC Merchan Cante Harvey Humberto / Book Paperback
common.buy 70.87 €
Das Saxophonbuch 2 (Version Eb), m. 1 Audio-CD Klaus Dapper / Printed items Sheet music
common.buy 22.77 €
Kennedy's Shorter Revised Latin Primer Benjamin / Book Paperback
common.buy 26.01 €
62. Bulletin Moravské galerie v Brně (2006) / Book Paperback
common.buy 3.13 €
Sido Colette / Book Paperback
common.buy 11.94 €
Echo Du Tour de France, Chansons Compagnoniques GUILLAUMOU-T / Book Paperback
common.buy 13.66 €
Sonaten BWV 1033 C-Dur, BWV 1034 e-Moll, 1035 E-Dur, Flöte und Klavier Johann Sebastian Bach / Printed items Sheet music
common.buy 14.47 €
Songbook - Jetzt mit "auch" Ärzte / Printed items Sheet music
common.buy 24.90 €
Von der philosophisch-moralischen Erzählung zur modernen Novelle Kathrin Ackermann / Book Paperback
common.buy 53.15 €
Chopin für's Leben, Klavier, 3 Bde. Frederic Chopin / Book binding.
common.buy 84.65 €

This volume presents the proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, held aboard the ship "Marshal Koshevoi" on the Dnieper near Kiev, Ukraine in July 1994. The LPAR conferences are held annually in the former Soviet Union and aimed at bringing together researchers interested in LP and AR.This proceedings contains the full versions of the 24 accepted papers evaluated by at least three referees ensuring a program of highest quality. The papers cover all relevant aspects of LP and AR ranging from theory to implementation and application.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Logic Programming and Automated Reasoning
Author Frank Pfenning
Language English
Binding Book - Paperback
Date of issue 1994
Number of pages 352
EAN 9783540582168
ISBN 3540582169
Libristo code 05274399
Publishers Springer, Berlin
Weight 476
Dimensions 156 x 234 x 19

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Object-oriented programming (OOP)
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Computational Intelligence Paradigms Mika Sato-Ilic / Book Hardback
common.buy 103.07 €
Security in Computing and Communications Jaime Lloret Mauri / Book Paperback
common.buy 51.73 €
Krapp's Last Tape Peter Ebsworth / Book Paperback
common.buy 12.45 €
The Sycamore Detective Agency - Case Number One: Bonnie and Clyde Marc Schmatjen / Book Paperback
common.buy 8.60 €
Chapters in the History of Old S. Paul's Simpson William Sparrow Simpson / Book Paperback
common.buy 23.28 €
Violette Nights in Paris Chloe Emile / Book Paperback
common.buy 14.88 €
Hot Bed Vegetable Gardening James Paris / Book Paperback
common.buy 12.14 €
Pachyderms Danny Buoy / Book Paperback
common.buy 13.05 €
Travels into North America Pehr Kalm / Book Paperback
common.buy 24.19 €
Anecdotes of the american Revolution Alexander Garden / Book Paperback
common.buy 20.55 €
Future Of Our Physics Including New Frontiers, The: Proceedings Of The 53rd Course Of The International School Of Subnuclear Physics Antonino Zichichi / Book Hardback
common.buy 191.68 €
U.S. Highways: Excerpt Aroslav / Book Paperback
common.buy 14.88 €
Coyote Blue Christopher Moore / Book Paperback
common.buy 14.27 €
Reflections - A Collection of Short Stories Louise Charles / Book Paperback
common.buy 10.12 €
What's on My Mind Hester L Stewart / Book Paperback
common.buy 19.33 €
History Of Cornwall V1 Fortescue Hitchins / Book Paperback
common.buy 52.44 €
Rethinking Sales Marco Giunta / Book Paperback
common.buy 21.25 €
Constitution of the Legal Relation Somek / Book Hardback
common.buy 127.48 €
Blur Lindsay Turner / Book Paperback
common.buy 15.79 €
Top
One Piece Official Sticker Book Scholastic / Book Paperback
common.buy 10.42 €
Black Tuesday Over Namsi Earl. J. McGill / E-book Adobe ePub DRM
common.buy 12.45 €
Top Affordable
The Mushroom at the End of the World Anna Lowenhaupt Tsing / Book Paperback
common.buy 9.71 €
The History of the Synagogue from the Destruction of Jerusalem to the Jewish War of Liberation Alfred Edersheim / Book Paperback
common.buy 19.33 €
The Church In Roman Gaul (1882) Richard Travers Smith / Book Paperback
common.buy 32.49 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?