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.
ISBN-13: 9783662488980, 978-3662488980. reasoning, computational logic, programming languages and their applications. Reasoning, LPAR-20, held in November 2015, in Suva, Fiji. The series of International Conferences on Logic for Programming.
51.53$ Buy It Now
Item | 314634266414 |
---|---|
Seller |
books--etc ( 481691 ⭐ ) 99.7% Location: Aldershot, GB Accept Payments With , |
Shipping | See shipping cost, Ships to United Kingdom, ... |
Guarantee | eBay Money Back Guarantee |
Condition | Brand New |
Book Title | Logic for Programming, Artificial Intelligence, and Reasoning |
ISBN | 9783662488980 |
Publication Name | Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings |
Publisher | Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG |
Subject | Computer Science |
Series | Lecture Notes in Computer Science |
Publication Year | 2015 |
Type | Textbook |
Format | Paperback |
Language | English |
Item Height | 235 mm |
Author | Martin Davis, Ansgar Fehnker, Andrei Voronkov, Annabelle Mciver |
Item Width | 155 mm |
Item Weight | 9767 g |
Number of Pages | 640 Pages |
No more products to load