Copied Logic Programming and Automated Reasoning
Logic Programming and Automated Reasoning
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.
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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Innovations in Bio-Inspired Computing and Applications
$169.99
Das Verbot des Rckkaufhandels gem 34 Abs. GewO
$69.99
Politics as a Practical Science
$109.99
New Waves in Philosophy of Language
$54.99
London and the Civil War
$19.99
Von Fermat bis Minkowski
$59.99
Superconducting Electronics
$84.99
Challenges and Options: The Academic Profession in Europe
$109.99
Morphological and Physical Classification of Galaxies
$219.99
Public Cloud Potenzial in einem Unternehmensumfeld
$54.99
Humour in British First World War Literature
$119.99
Theoretical and Practical Reason in Economics
$34.99
Primre und sekundre Effekte am bertritt in die Sekundarstufe I
$64.99
Creative Economies, Creative Cities
$169.99
Science with the Atacama Millimeter Array:
$219.99
Leistungsindividualisierung im B-to-B-Bereich
$74.99
Fuchirurgie
$44.99
Der Energietransport in der Elektrolumineszenz und Elektrophotolumineszenz von II-VI-Verbindungen
$59.99
Forests and Livelihoods
$29.99
ffentlichkeit und Volksvertretung
$69.99
Information Security Applications
$54.99
Handbook of the EuroLaser Academy
$54.99
Combat Motivation of the Polish Forces
$39.99
High-solid and Multi-phase Bioprocess Engineering
$99.00
Amino Acid Analysis Protocols
$84.99
Applied Linear Algebra and Matrix Methods
$69.99
From Complexity to Simplicity
$59.99
Firms and Entrepreneurship in Central and Eastern Europe
$139.00
Aspects of Natural Language Processing
$39.99
Writing and Reading in Henry James
$39.99
Security Intelligence Services in New Democracies
$39.99
Social Media and the Armed Forces
$54.99
Algal Biofuels
$109.00
The Viruses
$39.99
Brgerschaftliches Engagement in Wohlfahrtsverbnden
$59.99
Lead Toxicity Mitigation: Sustainable Nexus Approaches
$249.99
World Champions! A Max Einstein Adventure by James Patterson
$14.99
Fuzzy Graph Theory with Applications to Human Trafficking
$159.99
Wirtschaftliche Entwicklung bei schrumpfender Bevlkerung
$69.99
Facharztwissen Psychiatrie und Psychotherapie
$109.00
