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
Schrift- und Buchwesen in alter und neuer Zeit
$44.99
Quick Guide Female Leadership
$29.99
Medien, Zeit und Beschleunigung
$64.99
Deconstructing Behavior, Choice, and Well-being
$139.99
Advanced Materials for Thermal Management of Electronic Packaging
$279.99
Permutation Polynomial Interleavers for Turbo Codes
$169.99
Abortion and the Moral Significance of Merely Possible Persons
$109.99
The Evolution and Evaluation of Massive Open Online Courses
$59.99
Cybersecurity, Privacy and Freedom Protection in the Connected World
$54.99
Decompression Decompression Sickness
$74.99
Untersuchungen ber die glasige Erstarrung von Hochpolymeren unter hohen Drucken
$59.99
School Choice and School Governance
$54.99
Business Related Services in Central and Eastern Europe
$59.99
X-Ray Optics
$39.99
Politeness Across Cultures
$39.99
Vektorautokorrelationen stochastischer Prozesse und die Spezifikation von ARMA-Modellen
$59.99
Magnetstimulation des Nervensystems
$59.99
Monetary Policy Implementation in East Asia
$109.99
Dynamic Models and Control of Biological Systems
$89.00
Sensors and Low Power Signal Processing
$84.99
Einfhrung in die Kybernetik
$49.99
Management of Antimicrobials in Infectious Diseases
$219.99
Ramona and Her Mother
$5.96
Galileo and the Almagest, c.15891592
$44.99
Knowledge Processing and Decision Making in Agent-Based Systems
$129.00
Ernst Zermelo - Collected Works/Gesammelte Werke
$169.99
Innovation Systems in Catching-Up Economies
$109.99
Berufsbiographie und chronische Krankheit
$59.99
Surface Waves and Fluxes
$84.99
Der Bau- und Maurermeister in der Praxis
$59.99
Awesome Arizona- 200 Amazing Facts about the Grand Canyon State by Roger Naylor
$16.95
Intimately Situated Stories of Place
$169.99
Handbook of Social Sciences and Global Public Health
$1,399.99
Chinese as a Second Language Assessment
$169.99
Cultivation and Drought Management in Agriculture
$169.99
Disaster, Death and the Emotions in the Shadow of the Apocalypse, 14001700
$139.99
Das Archiv des Springer-Verlags in Heidelberg
$54.99
Informatisierung von Dienstleistungen
$69.95
Personenkraftwagen Kraftomnibus und Lastkraftwagen in den Vereinigten Staaten von Amerika
$59.99
The Rise of English Nationalism
$79.99
