Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Logic Programming and Automated Reasoning
Best Price (Coupon Required):
Buy Logic Programming and Automated Reasoning for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bring together researchers from the Russian and the international logic programming and theorem proving communities. The topics of interest covered by papers inthe volume include automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductive databases, implementation of declarative concepts, and programming in non-classical logics. LPAR '92 is the successor of the First and Second Russian Conferences on Logic Programming held in 1990 and 1991, respectively, the proceedings of which were publishedin LNAI Vol. 592.
Reviews
Questions & Answers
Scholarly Publication in a Changing Academic Landscape: Models for Success
$39.99
Physical Theory as Logico-Operational Structure
$39.99
Towards Illiberal Democracy
$109.99
Molecularly Imprinted Polymers in Biotechnology
$219.99
Marx, Marginalism and Modern Sociology
$169.99
Gesellschaftliche Ausgangsbedingungen fr Radikalisierung und Co-Radikalisierung
$59.99
Computer Vision
$49.99
Advances in Forensic Haemogenetics
$54.99
Globalization or Regionalization of the European Car Industry?
$109.99
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
$109.99
Lindenstrae
$49.99
The Genetic Mechanism and the Origin of Life
$84.99
Combinatorial Optimization
$39.99
Georg Lukcs Marxism Alienation, Dialectics, Revolution
$54.99
Advances in Computing and Intelligent Systems
$129.00
Methodology, Epistemology, and Philosophy of Science
$219.99
The IVth International Conference on Quarks and Nuclear Physics
$169.99
What Do Design Reviewers Really Do? Understanding Roles Played by Design Reviewers in Daily Practice
$109.99
Brand Orientation in der Ernhrungsindustrie
$64.99
Mehrpersonen-Preisdifferenzierung
$74.99
An Introduction to Algebraic Statistics with Tensors
$89.99
Proceedings of Topical Issues in International Political Geography
$169.99
Establishing the Foundation of Collaborative Networks
$109.99
Technology for Advanced Focal Plane Arrays of HgCdTe and AlGaN
$219.99
Das Skizzieren von Maschinenteilen in Perspektive
$59.99
Biopotential Readout Circuits for Portable Acquisition Systems
$109.99
Structural Flaws in the Middle East Process
$54.99
Enzymes in Degradation of the Lignocellulosic Wastes
$109.99
Prediction of Protein Secondary Structure
$219.99
Mind Out of Matter
$169.99
TQM in Action
$109.99
The Real Exchange Rate and Prices of Traded Goods in OECD Countries
$109.99
English Funerary Elegy in the Seventeenth Century
$54.99
Buchfhrung und Bilanzen
$59.99
Atlas of Electroencephalography in Sleep Medicine
$179.99
Entrepreneurial Essence in Family Businesses
$129.99
Agency, Freedom and Choice
$69.99
Electron-Molecule and Photon-Molecule Collisions
$54.99
4 Farben ein Bild
$29.99
Die neuen Regelungen der MiFID II zum Anlegerschutz
$49.99
