Copied Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. The 45 revised full papers presented together with 3 invited talks were carefully revised and selected from 153 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and their applications and are organized in topical sections on automata, linear arithmetic, verification knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$84.99 | $84.99 |
|
$84.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Progress in High-Dimensional Percolation and Random Graphs
$69.99
Plant Ecology, Herbivory, and Human Impact in Nordic Mountain Birch Forests
$259.00
Switching in Semiconductor Diodes
$39.99
Practical Common Lisp
$59.99
Darstellung der Niederschlagsverteilung in Deutschland durch Isanomalen
$54.99
Definitive Bahnbestimmung des Kometen 1932V (Peltier-Whipple)
$44.99
Visual Prosthetics
$84.99
Expert F#
$54.99
Deep Sky Observing
$44.99
Betriebliche Gesundheitsfrderung
$49.99
Victorian Bloomsbury
$109.99
Voices and Visions from Ethnoculturally Diverse Young People with Disabilities
$39.99
Groundwater Chemical Kinetics and Fractal Characteristics of Karst Tunnel
$109.99
Der Mann, der Bettler
$59.99
Behold the Dreamers (Oprah's Book Club) by Imbolo Mbue
$18.00
Instationre Gasstrmung im Auspuffsystem eines Zweitaktmotors
$49.99
Structural Injustices in Swedish Education
$89.00
Transdisciplinary Environmental Research
$59.99
Shaking the Invisible Hand
$129.00
Socio-Spatial Dynamics in Mediterranean Europe
$159.99
Die nationale Zusammenarbeit mit den Internationalen Straftribunalen fr das ehemalige Jugoslawien u
$98.00
Protein Misfolding Diseases
$199.99
Die Entstehung der Kunstgeschichte im 19. Jahrhundert
$34.99
Poster Art of the Disney Parks Book
$40.00
Child Care and Preschool Development in Europe
$109.99
Militr und Demokratie in Deutschland
$39.99
Intraoperative Imaging in Neurosurgery
$219.99
Internet Sex Work
$69.99
Advances in Oceanography
$84.99
Politics after Hitler
$54.99
Accelerated C# 2010
$29.99
Two Friends (Hardcover)
$14.24
Milton Friedman
$119.99
Parallel Computing Technologies
$79.99
Elementarmathematik griffbereit
$69.99
Vaccine Design
$249.99
Rubber Nano Blends
$129.00
Selbststudium im digitalen Wandel
$59.99
Plague and Other Yersinia Infections
$109.99
Shakespeare and Youth Culture
$54.99
