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 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 136 b
19 893 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

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 14 959 Ft
Commander (Buch III) Heino Caesar / Book Paperback
common.buy 13 522 Ft
Microblogging En La Educacion Lenis Querales / Book Paperback
common.buy 10 080 Ft
Prosa. Tl.1 Paul Celan / Book Hardback
common.buy 32 875 Ft
Sedmý závoj - Listy z jednoho století František R. Kraus / Book Hardback
common.buy 2 753 Ft
Kondolenzbuch Premium "Wir nehmen Abschied" Anna Piok / Book Hardback
common.buy 6 990 Ft
Gay: Saliendose y viniendose Kathleen Hope / E-book Adobe ePub DRM
common.buy 1 686 Ft
Les Arcana Arcanorum et les rites maçonniques égyptiens de Memphis et Misraïm Karol / Book Hardback
common.buy 11 018 Ft
Noches de uvas que han fermentado Jaime Cesar / Book Paperback
common.buy 2 592 Ft
Svenska-Ungerska Verktyg/Szerszámok Barns tv?spr?kiga bildordbok Suzanne Carlson / Book Paperback
common.buy 4 657 Ft
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 3 955 Ft
Elmar und seine Freunde, Deutsch-Englisch. Elmer's Friends David McKee / Book Board book
common.buy 3 178 Ft
Gedichtinterpretationen gestalten lernen - mit Naturlyrik Johannes G Klinkmuller / Book Paperback
common.buy 8 704 Ft
Traktory i kombajny Krzysztof Kozera / Book Paperback
common.buy 1 829 Ft
Schweizer Jahrbuch fuer Musikwissenschaft- Annales Suisses de Musicologie- Annuario Svizzero di Musicologia Joseph Willimann / Book Paperback
common.buy 29 636 Ft

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 51 539 Ft
Polishes and Stains for Woods David Denning / Book Paperback
common.buy 9 217 Ft
Shampoo - The Criterion Collection / Video Blu-ray
common.buy 9 083 Ft
Buddy Holly: "Chirping" Crickets / 180G Buddy Holly / Audio Audio vinyl
common.buy 5 290 Ft
Cambridge International AS Level History Modern Europe 1774-1924 Coursebook with Digital Access (2 Years) Patrick Walsh-Atkins / Book Paperback
common.buy 15 176 Ft
The Essential Guide to the Loch Ness Monster & Other Aquatic Cryptids Ken Gerhard / Book Paperback
common.buy 7 415 Ft
Bones being Further Adventures in Mr. Commissioner Sanders' Country Edagar Wallace / Book Paperback
common.buy 3 955 Ft
Liverpool Travel Guide: Sightseeing, Hotel, Restaurant & Shopping Highlights Angela Woodward / Book Paperback
common.buy 4 980 Ft
The Ninth Floor Liz Schulte / Book Paperback
common.buy 5 345 Ft
Recent Advances in Computer Science and Information Engineering Lei Cao / Book Paperback
common.buy 79 226 Ft
Going the Distance: Dissident Subjectivity in Modernist American Literature David R. Jarraway / Book Paperback
common.buy 12 409 Ft
Information and Decision in Behavioral Economics Adam Biela / Book Hardback
common.buy 21 815 Ft
Present State of Music in France and Italy Charles Burney / Book Paperback
common.buy 10 944 Ft
Mentoria Ann Murry / Book Hardback
common.buy 16 788 Ft
Russia's Unknown Agriculture Judith Pallot / Book Hardback
common.buy 62 132 Ft
Lost City of the Incas Hiram Bingham / Book Paperback
common.buy 5 257 Ft
Coming soon
Antarctica David Walton / Book Hardback
common.buy 23 792 Ft
Singular Elliptic Problems Marius Ghergu / Book Hardback
common.buy 41 066 Ft
Sources in European Political History Chris Cook / Book Hardback
common.buy 63 962 Ft
Surgical Management of Nasal Obstruction: Rhinologic Perspective, An Issue of Otolaryngologic Clinics Samuel S. Becker / Book Hardback
common.buy 32 450 Ft
Telling without Talking Barry M. Cohen / Book Hardback
common.buy 18 461 Ft
Elliptic Curves. (MN-40), Volume 40 Anthony W. Knapp / Book Paperback
common.buy 50 541 Ft
Noise in Semiconductor Devices Fabrizio Bonani / Book Hardback
common.buy 59 448 Ft

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?