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
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

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
54.56 €
106.72  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Mellan raderna Bengtsson / Audiobook MP3
common.buy 6.74 € 13.18 лв
Sedmý závoj - Listy z jednoho století František R. Kraus / Book Hardback
common.buy 7.93 € 15.51 лв
Kondolenzbuch Premium "Wir nehmen Abschied" Anna Piok / Book Hardback
common.buy 19.14 € 37.43 лв
El Burro y el Caballo CARMEN ALONSO BADIA / Book Hardback
common.buy 21.00 € 41.08 лв
Gay: Saliendose y viniendose Kathleen Hope / E-book Adobe ePub DRM
common.buy 5.03 € 9.83 лв
Klíč k Chíramovi Christopher Knight / Book Hardback
common.buy 13.64 € 26.67 лв
Coming soon New
Genitalflüssigkeiten und Geschlecht Ell Rutkat / Book Paperback
common.buy 42.94 € 83.99 лв
Les Arcana Arcanorum et les rites maçonniques égyptiens de Memphis et Misraïm Karol / Book Hardback
common.buy 32.10 € 62.79 лв
Noches de uvas que han fermentado Jaime Cesar / Book Paperback
common.buy 6.79 € 13.28 лв
Mortalidad Por Suicidio En La Región de Las Américas: Informe Regional 2010-2014 Pan American Health Organization / Book Paperback
common.buy 42.43 € 82.98 лв
Svenska-Ungerska Verktyg/Szerszámok Barns tv?spr?kiga bildordbok Suzanne Carlson / Book Paperback
common.buy 12.18 € 23.83 лв
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.37 € 20.28 лв
Schweizer Jahrbuch fuer Musikwissenschaft- Annales Suisses de Musicologie- Annuario Svizzero di Musicologia Joseph Willimann / Book Paperback
common.buy 81.38 € 159.17 лв
Traktory i kombajny Krzysztof Kozera / Book Paperback
common.buy 5.49 € 10.74 лв
Microblogging En La Educacion Lenis Querales / Book Paperback
common.buy 27.59 € 53.96 лв
Elmar und seine Freunde, Deutsch-Englisch. Elmer's Friends David McKee / Book Board book
common.buy 9.18 € 17.95 лв
Commander (Buch III) Heino Caesar / Book Paperback
common.buy 37.03 € 72.43 лв
Prosa. Tl.1 Paul Celan / Book Hardback
common.buy 97.88 € 191.43 лв
Gedichtinterpretationen gestalten lernen - mit Naturlyrik Johannes G Klinkmuller / Book Paperback
common.buy 33.40 € 65.33 лв

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 141.45 € 276.65 лв
Top
Cambridge International AS Level History Modern Europe 1774-1924 Coursebook with Digital Access (2 Years) Patrick Walsh-Atkins / Book Paperback
common.buy 38.28 € 74.86 лв
Mentoria Ann Murry / Book Hardback
common.buy 44.03 € 86.12 лв
Present State of Music in France and Italy Charles Burney / Book Paperback
common.buy 30.96 € 60.56 лв
Hepatitis C Paul J. Thuluvath / Book Paperback
common.buy 18.05 € 35.29 лв
Information and Decision in Behavioral Economics Adam Biela / Book Hardback
common.buy 61.72 € 120.72 лв
Going the Distance: Dissident Subjectivity in Modernist American Literature David R. Jarraway / Book Paperback
common.buy 32.78 € 64.11 лв
Polishes and Stains for Woods David Denning / Book Paperback
common.buy 26.09 € 51.02 лв
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 67.58 € 132.18 лв
Recent Advances in Computer Science and Information Engineering Lei Cao / Book Paperback
common.buy 217.44 € 425.28 лв
The Ninth Floor Liz Schulte / Book Paperback
common.buy 13.95 € 27.28 лв
Liverpool Travel Guide: Sightseeing, Hotel, Restaurant & Shopping Highlights Angela Woodward / Book Paperback
common.buy 13.07 € 25.56 лв
Bones being Further Adventures in Mr. Commissioner Sanders' Country Edagar Wallace / Book Paperback
common.buy 10.37 € 20.28 лв
Neck and Arm Pain Syndromes E-Book Cesar Fernandez-de-las-Penas / E-book Adobe ePub DRM
common.buy 79.72 € 155.92 лв
The Essential Guide to the Loch Ness Monster & Other Aquatic Cryptids Ken Gerhard / Book Paperback
common.buy 19.34 € 37.83 лв
99 Tricks and Traps for Oracle Primavera P6 PPM Professional Updated for Version 21 Paul E Harris / Book Paperback
common.buy 48.18 € 94.24 лв
Noise in Semiconductor Devices Fabrizio Bonani / Book Hardback
common.buy 163.18 € 319.16 лв
Top
Lost City of the Incas Hiram Bingham / Book Paperback
common.buy 15.82 € 30.93 лв
Coming soon
Antarctica David Walton / Book Hardback
common.buy 70.44 € 137.76 лв
Singular Elliptic Problems Marius Ghergu / Book Hardback
common.buy 157.94 € 308.91 лв
Sources in European Political History Chris Cook / Book Hardback
common.buy 184.14 € 360.14 лв
Surgical Management of Nasal Obstruction: Rhinologic Perspective, An Issue of Otolaryngologic Clinics Samuel S. Becker / Book Hardback
common.buy 95.85 € 187.47 лв
Russia's Unknown Agriculture Judith Pallot / Book Hardback
common.buy 164.64 € 322.00 лв
Telling without Talking Barry M. Cohen / Book Hardback
common.buy 52.07 € 101.85 лв

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?