Copied COLOG-88
COLOG-88
This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.
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
Wiener Ausgabe Studien Texte
$49.99
Advanced Computational Intelligence Techniques for Virtual Reality in Healthcare
$179.99
Expeditionen in den Nanokosmos
$44.99
Contributions to the Science of Text and Language
$129.00
Ancient and Modern Religion and Politics
$54.99
Oscar y Grillo
$5.96
Vormoderne, Totalitarismus und die Nicht-Banalitt des Bsen
$84.99
Cell-Free Protein Production
$84.99
Das Parteiensystem derBundesrepublik Deutschland
$39.99
51.53. Jahresbericht des Sonnblick-Vereines fr die Jahre 19531955
$59.99
Rechnergesttzter Layoutentwurf von Hybridschaltungen
$69.99
Curve Ball
$39.99
Barnes & Noble The Redemption of Daya Keane by Gia Gordon
$19.99
Central D1 Dopamine Receptors
$39.99
Colonial Times
$5.96
Integrating Ecology and Poverty Reduction
$169.99
Intensivkurs Kostenrechnung
$54.99
Interkulturelles Training
$54.99
New Results in Boron Chemistry
$39.99
Die organisatorische Stellengliederung im Betrieb
$69.99
Japan as-anything but-Number One
$29.99
Laplacian Growth on Branched Riemann Surfaces
$64.99
Tarifierung von Weiterbildung
$59.99
Automation in the Food Industry
$39.99
Logic Functions and Equations
$109.99
High Pressure Processing of Food
$329.99
Technology Developments: the Role of Mechanism and Machine Science and IFToMM
$169.99
The Paretian School and Italian Fiscal Sociology
$109.99
Neutrophil Methods and Protocols
$169.00
Poisoned
$8.24
New Documentary Ecologies
$129.99
Advanced Computing in Electron Microscopy
$169.99
Analysis II
$19.99
Technological Frontiers and Sustainable Innovations
$54.99
Drug Dependence and Alcoholism
$74.99
South Africas BPO Service Advantage
$109.99
Evaluation, Comparison and Calibration of Oceanographic Instruments
$169.99
Memory and Gender in Medieval Europe, 900-1200
$59.99
Cat Ninja- Wanted by Matthew Cody
$12.99
STACS 2000
$84.99
