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 €
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 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

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 €
Elmar und seine Freunde, Deutsch-Englisch. Elmer's Friends David McKee / Book Board book
common.buy 9.29 €
Microblogging En La Educacion Lenis Querales / Book Paperback
common.buy 27.19 €
Prosa. Tl.1 Paul Celan / Book Hardback
common.buy 98.00 €
Sedmý závoj - Listy z jednoho století František R. Kraus / Book Hardback
common.buy 7.39 €
Kondolenzbuch Premium "Wir nehmen Abschied" Anna Piok / Book Hardback
common.buy 19.99 €
Gay: Saliendose y viniendose Kathleen Hope / E-book Adobe ePub DRM
common.buy 4.89 €
Les Arcana Arcanorum et les rites maçonniques égyptiens de Memphis et Misraïm Karol / Book Hardback
common.buy 31.99 €
Noches de uvas que han fermentado Jaime Cesar / Book Paperback
common.buy 6.99 €
Traktory i kombajny Krzysztof Kozera / Book Paperback
common.buy 5.09 €
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 €
Commander (Buch III) Heino Caesar / Book Paperback
common.buy 39.00 €
Gedichtinterpretationen gestalten lernen - mit Naturlyrik Johannes G Klinkmuller / Book Paperback
common.buy 24.99 €
Schweizer Jahrbuch fuer Musikwissenschaft- Annales Suisses de Musicologie- Annuario Svizzero di Musicologia Joseph Willimann / Book Paperback
common.buy 80.19 €

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 139.39 €
Polishes and Stains for Woods David Denning / Book Paperback
common.buy 26.99 €
Shampoo - The Criterion Collection / Video Blu-ray
common.buy 25.29 €
Buddy Holly: "Chirping" Crickets / 180G Buddy Holly / Audio Audio vinyl
common.buy 14.69 €
Cambridge International AS Level History Modern Europe 1774-1924 Coursebook with Digital Access (2 Years) Patrick Walsh-Atkins / Book Paperback
common.buy 39.29 €
The Essential Guide to the Loch Ness Monster & Other Aquatic Cryptids Ken Gerhard / Book Paperback
common.buy 20.09 €
Bones being Further Adventures in Mr. Commissioner Sanders' Country Edagar Wallace / Book Paperback
common.buy 10.69 €
Liverpool Travel Guide: Sightseeing, Hotel, Restaurant & Shopping Highlights Angela Woodward / Book Paperback
common.buy 13.49 €
Recent Advances in Computer Science and Information Engineering Lei Cao / Book Paperback
common.buy 214.29 €
Going the Distance: Dissident Subjectivity in Modernist American Literature David R. Jarraway / Book Paperback
common.buy 33.69 €
Information and Decision in Behavioral Economics Adam Biela / Book Hardback
common.buy 63.99 €
Present State of Music in France and Italy Charles Burney / Book Paperback
common.buy 32.09 €
Mentoria Ann Murry / Book Hardback
common.buy 45.59 €
Russia's Unknown Agriculture Judith Pallot / Book Hardback
common.buy 163.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 119.49 €
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 94.69 €
Telling without Talking Barry M. Cohen / Book Hardback
common.buy 50.69 €
Elliptic Curves. (MN-40), Volume 40 Anthony W. Knapp / Book Paperback
common.buy 137.39 €
Noise in Semiconductor Devices Fabrizio Bonani / Book Hardback
common.buy 160.89 €

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?