1. Home
  2. Books
  3. Non-Fiction
  4. Computing & information technology
  5. Computer programming / software development

Free shipping on orders over $99
Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

by Andrei Voronkov and Nachum Dershowitz
Paperback
Publication Date: 08/10/2007
Be the first to write a review

Share This Book:

 
$227.95
Add to List

Click 'Notify Me' to get an email alert when this item becomes available

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.
ISBN:
9783540755586
9783540755586
Category:
Computer programming / software development
Format:
Paperback
Publication Date:
08-10-2007
Language:
English
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Country of origin:
Germany
Pages:
564
Dimensions (mm):
235x155x29mm
Weight:
0.88kg

Click 'Notify Me' to get an email alert when this item becomes available

You can find this item in:

Computer programming / software development Computer architecture & logic design Computer science Artificial intelligence Mathematical logic
Show more Show less

Reviews

Be the first to review Logic for Programming.