This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002. The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear logic, Isabelle theorem prover, guided reduction, etc.
FREE Two-Day Shipping for Students. Learn more |
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
Key Phrases - Statistically Improbable Phrases (SIPs):
(learn more)
dynamic ordinals, tree regular constraints, based cognitive agents, minimal unsatisfiable set, binding arity, flexible arity symbols, strict superposition calculus, extensionality scheme, proof plan tree, refutation answer substitution, global theorem link, pushdown tree automata, bounded arithmetic theories, pushdown specifications, problematic predicates, lazy rewriting, methodical expression, refutation remainder, normal disjunctive programs, incremental decision procedure, pomset logic, merged rules, guided reductions, strategy annotations, extraction calculus Key Phrases - Capitalized Phrases (CAPs): (learn more)
Lecture Notes, Springer-Verlag Berlin Heidelberg, International Conference, Springer Verlag, Journal of Automated Reasoning, Elsevier Science, Cambridge University Press, Joachim Niehren, New York, Deduction Modulo, Lutz Straßburger, Alexander Koller, Electronic Notes, International Symposium, International Workshop, Kuroda Logic, Tobias Nipkow, Dresden University of Technology, Saarland University, Alternating-Bit Protocol, Christian Retoré, Computer Aided Verification, Jan Krajícek, Morgan Kaufmann, Semantic Web New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
dynamic ordinals, tree regular constraints, based cognitive agents, minimal unsatisfiable set, binding arity, flexible arity symbols, strict superposition calculus, extensionality scheme, proof plan tree, refutation answer substitution, global theorem link, pushdown tree automata, bounded arithmetic theories, pushdown specifications, problematic predicates, lazy rewriting, methodical expression, refutation remainder, normal disjunctive programs, incremental decision procedure, pomset logic, merged rules, guided reductions, strategy annotations, extraction calculus Key Phrases - Capitalized Phrases (CAPs): (learn more)
Lecture Notes, Springer-Verlag Berlin Heidelberg, International Conference, Springer Verlag, Journal of Automated Reasoning, Elsevier Science, Cambridge University Press, Joachim Niehren, New York, Deduction Modulo, Lutz Straßburger, Alexander Koller, Electronic Notes, International Symposium, International Workshop, Kuroda Logic, Tobias Nipkow, Dresden University of Technology, Saarland University, Alternating-Bit Protocol, Christian Retoré, Computer Aided Verification, Jan Krajícek, Morgan Kaufmann, Semantic Web New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Artificial Intelligence > Theory of Computing
- Books > Computers & Technology > Programming > Languages & Tools
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > Computers & Technology > Software
- Books > Medical Books
- Books > New & Used Textbooks > Computer Science > Artificial Intelligence
- Books > New & Used Textbooks > Computer Science > Programming Languages
- Books > New & Used Textbooks > Computer Science > Software Design & Engineering
- Books > New & Used Textbooks > Medicine & Health Sciences > Medicine > General
- Books > New & Used Textbooks > Science & Mathematics > Mathematics
- Books > Science & Math > Mathematics
