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

Logic for Programming, Artificial Intelligence, and Reasoning

20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Language EnglishEnglish
Book Paperback
Book Logic for Programming, Artificial Intelligence, and Reasoning Martin Davis
Libristo code: 02823127
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, December 2015
This book constitutes the proceedings of the 20th International Conference§on Logic for Programming,... Full description
? points 136 b
19 902 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Miteinander! Deutsch für Alltag und Beruf A2 Anja Böttinger / Book Paperback
common.buy 4 469 Ft
Moja wina Ron Mercedes / Book Paperback
common.buy 3 942 Ft
Paw Patrol Girl 3tlg. Frühstücksset / Game/Toy Toy
common.buy 5 860 Ft
FARBSCHLÜSSEL-SYSTEME IN DER ZAHNMEDIZIN Vivek Choukse / Book Paperback
common.buy 21 062 Ft
Della Educazione E Dell' Istruzione Libri Due Di Raffaello Lambruschini, Libro Primo: Della Educazione (1850) Raffaello Lambruschini / Book Paperback
common.buy 12 442 Ft
Blockchain Wayne Walker / Book Paperback
common.buy 3 956 Ft
Corpus Hermeticum Eduardo Filipe Freitas / Book Paperback
common.buy 3 956 Ft
Komiksová Kytice Erben Karel Jaromír / Book Paperback
common.buy 12 752 Ft
Zman Ltefilah Volume 3: Amidah Hillary Zana / Book Paperback
common.buy 4 996 Ft
Fundamente der Mathematik - Baden-Württemberg - 7. Schuljahr Kathrin Andreae / Book Hardback
common.buy 13 704 Ft

This book constitutes the proceedings of the 20th International Conference§on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-20, held§in November 2015, in Suva, Fiji.§§The 43 regular papers presented together with 1 invited talk included in§this volume were carefully reviewed and selected from 92 submissions. The§series of International Conferences on Logic for Programming, Artificial§Intelligence and Reasoning (LPAR) is a forum where, year after year, some of§the most renowned researchers in the areas of logic, automated reasoning,§computational logic, programming languages and their applications come to§present cutting-edge results, to discuss advances in these fields, and to§exchange ideas in a scientifically emerging part of the world.§

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 for Programming, Artificial Intelligence, and Reasoning
Author Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
Language English
Binding Book - Paperback
Date of issue 2015
Number of pages 640
EAN 9783662488980
ISBN 3662488981
Libristo code 02823127
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 9767
Dimensions 155 x 235 x 37

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 > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic 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

Top
Percy Jackson: The Demigod Files Rick Riordan / Book Hardback
common.buy 4 146 Ft
Truth About Ruth ETTA B. HARBIN / Book Paperback
common.buy 3 577 Ft
History of Gangster Rap Baker Soren / Book Paperback
common.buy 7 635 Ft
OSHA 30-Hour Construction; Student Workbook Raul Ross Pineda / Book Paperback
common.buy 5 685 Ft
Nahj al-Balaghah- The Peak of Eloquence Ali Bin Abi Talib / Book Paperback
common.buy 11 887 Ft
The Tales of the Wimpet King Carol Pady / Book Paperback
common.buy 4 483 Ft
Maintain Your Health in College Years Nam Nguyen / Book Paperback
common.buy 6 304 Ft
Jewish Community of Washington, D.C. Martin Garfinkle / Book Hardback
common.buy 9 600 Ft
Dickens the Enchanter CONRAD PETER / Book Hardback
common.buy 9 027 Ft
The Greatest Generation Tom Brokaw / Book Hardback
common.buy 10 464 Ft
Religion and Civil Society in Europe Joep De Hart / Book Paperback
common.buy 39 688 Ft
Countertransference and the Therapist's Inner Experience Jeffrey Hayes / Book Paperback
common.buy 21 062 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?