phone 02/210 210 99
LIBRISTO 0
Free delivery for purchases over 59.99 €
Slovak post 4.49 € SPS courier 4.99 € GLS courier 3.99 € GLS point 2.99 € Packeta courier 4.99 € Packeta point 2.99 € SPS Parcel Shop 2.99 €
phone Contact phoneHow to shop

Logic for Programming, Artificial Intelligence, and Reasoning

Language EnglishEnglish
Book Paperback
Book Logic for Programming, Artificial Intelligence, and Reasoning Robert Nieuwenhuis
Libristo code: 01563961
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 2001
This book constitutes the refereed proceedings of the 8th International Conference on Logic for Prog... Full description
? points 304 b
121.31 €
Low in stock at our supplier Shipping in 13-16 days

30-day return policy

You might also be interested in

Optical Fiber Fusion Splicing A. D. Yablon / Hardback
common.buy 415.00 €
assessment of Woreda Capactiy Telaye Fikadu Mulubiran / Paperback
common.buy 101.80 €
Norfolk W A Dutt / Paperback
common.buy 32.95 €
Dopamine in the CNS II Gaetano Di Chiara / Paperback
common.buy 595.87 €
Handelsrecht 2022 Martin Dreyer / Paperback
common.buy 11.11 €
Bildung im Alter - Theoretische Grundlagen und eine empirische Untersuchung einer Wohnanlage fur altersgerechtes Wohnen Daniel Werner / Paperback
common.buy 56.10 €
Extending Educational Change Andy Hargreaves / Paperback
common.buy 61.56 €
Conclog: A Methodological Approach to Concurrent Logic Programming J.-M. Jacquet / Paperback
common.buy 121.31 €
Neurohumoral Regulation of Coronary Flow W. H. van Gilst / Hardback
common.buy 121.31 €

This book constitutes the refereed proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2001, held in Havana, Cuba, in December 2001.The 40 revised full papers presented together with an invited paper were carefully reviewed and selected from 112 submissions. The book offers topical sections on verification, guarded logic, agents, automated theorem proving, non-classical logics, types, experimental aspects, foundations of logic, CSP and SAT, nonmonotonic reasoning, semantics, termination, knowledge-based systems, analysis of logic programs, databases and knowledge bases, and program analysis and proof planning.

About the book

Full name Logic for Programming, Artificial Intelligence, and Reasoning
Author Robert Nieuwenhuis, Andrei Voronkov
Language English
Binding Book - Paperback
Date of issue 2001
Number of pages 741
EAN 9783540429579
ISBN 3540429573
Libristo code 01563961
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 2310
Dimensions 155 x 233 x 41

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
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
Medicine & Nursing > Medicine: general issues
Computing & Information Technology > Operating systems
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

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