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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €
phone Contact phoneHow to shop

Logic Programming and Automated Reasoning

4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993. Proceedings

Language EnglishEnglish
Book Paperback
Book Logic Programming and Automated Reasoning Andrei Voronkov
Libristo code: 05274323
Publishers Springer, Berlin, November 1992
LPAR is an international conference series aimed at bringing together researchers interested in logi... Full description
? points 125 b
51.09 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Coming soon New
Genitalflüssigkeiten und Geschlecht Ell Rutkat / Book Paperback
common.buy 48.00 €
Klíč k Chíramovi Christopher Knight / Book Hardback
common.buy 11.59 €
Gay: Saliendose y viniendose Kathleen Hope / E-book Adobe ePub DRM
common.buy 4.99 €
Les Arcana Arcanorum et les rites maçonniques égyptiens de Memphis et Misraïm Karol / Book Hardback
common.buy 31.89 €
El Burro y el Caballo CARMEN ALONSO BADIA / Book Hardback
common.buy 17.99 €
Kondolenzbuch Premium "Wir nehmen Abschied" Anna Piok / Book Hardback
common.buy 19.99 €
Sedmý závoj - Listy z jednoho století František R. Kraus / Book Hardback
common.buy 7.39 €
Noches de uvas que han fermentado Jaime Cesar / Book Paperback
common.buy 6.99 €
Mortalidad Por Suicidio En La Región de Las Américas: Informe Regional 2010-2014 Pan American Health Organization / Book Paperback
common.buy 40.69 €
Svenska-Ungerska Verktyg/Szerszámok Barns tv?spr?kiga bildordbok Suzanne Carlson / Book Paperback
common.buy 12.59 €
Espa?ol - Marathi: Escritura & Colorear Alfabeto Libros Educación Infantiles: Spanish Marathi Practicar alfabeto ABC letras con dibujos a Emilly Lima / Book Paperback
common.buy 10.69 €
Schweizer Jahrbuch fuer Musikwissenschaft- Annales Suisses de Musicologie- Annuario Svizzero di Musicologia Joseph Willimann / Book Paperback
common.buy 76.19 €
Traktory i kombajny Krzysztof Kozera / Book Paperback
common.buy 3.59 €
Microblogging En La Educacion Lenis Querales / Book Paperback
common.buy 25.69 €
Elmar und seine Freunde, Deutsch-Englisch. Elmer's Friends David McKee / Book Board book
common.buy 7.99 €
Commander (Buch III) Heino Caesar / Book Paperback
common.buy 39.00 €
Prosa. Tl.1 Paul Celan / Book Hardback
common.buy 98.00 €
Gedichtinterpretationen gestalten lernen - mit Naturlyrik Johannes G Klinkmuller / Book Paperback
common.buy 24.99 €

LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early1970s. Later, the implementation techniques known from logic programming were used in implementing theorem proving systems. Results from both fields applied to deductive databases. This volume contains the proceedings of LPAR '93, which was organized by the Russian Association for Logic Programming. The volume contains 35 contributed papers selected from 84 submissions, together with an invited paper by Peter Wegner entitled "Reasoning versus modeling in computer science".

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 Andrei Voronkov
Language English
Binding Book - Paperback
Date of issue 1993
Number of pages 394
EAN 9783540569442
ISBN 3540569448
Libristo code 05274323
Publishers Springer, Berlin
Weight 533
Dimensions 155 x 233 x 21

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
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

Short-cut Demand Elasticities and Other Convenient Approaches to Consumer Demand Kenneth W. Clements / Book Hardback
common.buy 132.29 €
Polishes and Stains for Woods David Denning / Book Paperback
common.buy 26.99 €
Top
Cambridge International AS Level History Modern Europe 1774-1924 Coursebook with Digital Access (2 Years) Patrick Walsh-Atkins / Book Paperback
common.buy 33.69 €
Mentoria Ann Murry / Book Hardback
common.buy 45.59 €
Present State of Music in France and Italy Charles Burney / Book Paperback
common.buy 25.69 €
Hepatitis C Paul J. Thuluvath / Book Paperback
common.buy 17.79 €
Information and Decision in Behavioral Economics Adam Biela / Book Hardback
common.buy 51.19 €
Going the Distance: Dissident Subjectivity in Modernist American Literature David R. Jarraway / Book Paperback
common.buy 33.69 €
History of the Rise, Progress, and Accomplishment of the Abolition of the African Slave-Trade by the British Parliament Thomas Clarkson / Book Paperback
common.buy 69.79 €
Recent Advances in Computer Science and Information Engineering Lei Cao / Book Paperback
common.buy 214.29 €
The Ninth Floor Liz Schulte / Book Paperback
common.buy 14.49 €
Liverpool Travel Guide: Sightseeing, Hotel, Restaurant & Shopping Highlights Angela Woodward / Book Paperback
common.buy 13.49 €
Bones being Further Adventures in Mr. Commissioner Sanders' Country Edagar Wallace / Book Paperback
common.buy 10.69 €
99 Tricks and Traps for Oracle Primavera P6 PPM Professional Updated for Version 21 Paul E Harris / Book Paperback
common.buy 49.99 €
The Essential Guide to the Loch Ness Monster & Other Aquatic Cryptids Ken Gerhard / Book Paperback
common.buy 20.09 €
Noise in Semiconductor Devices Fabrizio Bonani / Book Hardback
common.buy 152.59 €
Lost City of the Incas Hiram Bingham / Book Paperback
common.buy 14.69 €
Coming soon
Antarctica David Walton / Book Hardback
common.buy 70.19 €
Singular Elliptic Problems Marius Ghergu / Book Hardback
common.buy 99.59 €
Sources in European Political History Chris Cook / Book Hardback
common.buy 181.49 €
Surgical Management of Nasal Obstruction: Rhinologic Perspective, An Issue of Otolaryngologic Clinics Samuel S. Becker / Book Hardback
common.buy 77.59 €
Russia's Unknown Agriculture Judith Pallot / Book Hardback
common.buy 141.69 €
Telling without Talking Barry M. Cohen / Book Hardback
common.buy 50.19 €
Elliptic Curves. (MN-40), Volume 40 Anthony W. Knapp / Book Paperback
common.buy 183.69 €

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?