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 |
|
$76.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Context-Free Grammars
$39.99
Lokaljournalistische Qualitt und ihre Bestimmungsfaktoren
$89.99
Weibliche Sterilitt
$99.00
Boundless (Hardcover)
$14.24
Customer Relationship Management strukturiert dargestellt
$69.99
Critical Infrastructure Protection IX
$54.99
Bridging Literacies with Videogames
$49.99
Singular Phenomena and Scaling in Mathematical Models
$109.99
Econometric Business Cycle Research
$84.99
Reinventing Work in Europe
$119.99
Abnormal States of Brain and Mind
$39.99
Microbes for Sustainable Insect Pest Management
$129.00
Numerische Methoden
$44.99
HNO Praxis heute 21
$44.99
Formal Description Techniques VIII
$219.99
Cooperative Design, Visualization, and Engineering
$54.99
Detained without Cause
$27.99
Bilinear Stochastic Models and Related Problems of Nonlinear Time Series Analysis
$109.99
Ambient Intelligence
$54.99
Unification and Supersymmetry
$69.99
Psychologie des technisierten Alltags
$64.99
Statik und Stabilitt der Baukonstruktionen
$159.99
Large-Scale Conservation in the Common Interest
$109.99
Nervenblockaden auf pharmakologischem und auf elektrischem Weg
$59.99
Green Marketing
$54.99
Die Bedeutung von Lyrik in Bildungsprozessen der frhen Adoleszenz
$49.99
Plant Regulation and World Agriculture
$39.99
Technischen Optik
$39.99
Policy Competition and Policy Cooperation in a Monetary Union
$109.99
Web Information Systems and Technologies
$39.99
Leg Length Discrepancy The Injured Knee
$109.99
Reviews of Environmental Contamination and Toxicology Volume 247
$109.99
Goffman-Handbuch
$99.99
Produktionsplanung bei losweiser Fertigung
$49.99
Lebensmittelmarketing
$39.99
The Development of the Red Pulp in the Spleen
$54.99
Encyclopedia and Utopia
$249.99
Movable Bed Physical Models
$109.99
Zum Eliminationsproblem der Potenzreihenideale
$54.99
Mechanics of Time-Dependent Materials and Processes in Conventional and Multifunctional Materials, V
$169.00
