Updates
Latest Tweet
What's New?
Check out for latest innovation, a computer based training video collection
Like this Page
Logic for Programming, Artificial Intelligence, and Reasoning
PreviewsAmazon Readr |
Share this Great Computer eBookLink to this page |
Our CollectionPrevNext |
|
The 27 revised full papers and 9 revised short papers presented together with 1 invited talk carefully reviewed and selected from 47 submissions. The papers address all current problems in automated reasoning, computational logic, programming languages and dealing with logic programming, logic-based program manipulation, formal methods, and various types of AI logic.
Computer eBook Details
- ISBN-10: 3642175104
- ISBN-13: 9783642175107
- Publisher: Springer
- Pages: 517
- Date: March 2011