This site may earn a commission as part of the eBay Partner Network and Amazon Associates Program if you make a purchase through our links.
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International
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.
67.87$ Buy It Now
| Item | 364686917339 |
|---|---|
| Seller |
grandeagleretail ( 929281 ⭐ ) 98.3% Location: Fairfield, US, Ohio Accept Payments With , |
| Shipping | See shipping cost, Ships to Worldwide, ... |
| Guarantee | eBay Money Back Guarantee |
| Condition | Brand New |
| ISBN-13 | 9783540000105 |
| Book Title | Logic for Programming, Artificial Intelligence, and Reasoning |
| ISBN | 9783540000105 |
| Subject Area | Computers |
| Publication Name | Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 2002 - Proceedings |
| Publisher | Springer Berlin / Heidelberg |
| Item Length | 9.3 in |
| Subject | Software Development & Engineering / General, Intelligence (Ai) & Semantics, Computer Science, Logic Design |
| Publication Year | 2002 |
| Series | Lecture Notes in Computer Science Ser. |
| Type | Textbook |
| Format | Trade Paperback |
| Language | English |
| Author | Andrei Voronkov |
| Item Weight | 52.6 Oz |
| Item Width | 6.1 in |
| Number of Pages | Xiv, 470 Pages |
People who viewed this item also viewed
Explore more options
No more products to load
Your request is processing... Please Wait