Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

COLOG-88

COLOG-88

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540469636
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

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