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

Transnational Corporations from the Standpoint of Workers

$54.99

Experience Italy 1 by Kevin Raub

$24.99

The Holocaust Memorial Museum

$109.99

Pharmaco-complexity

$54.99

Soziologie des Sports

$59.99

Optimal Control and Viscosity Solutions of Hamilton-Jacobi-Bellman Equations

$159.99

Leitfaden Safety of the Intended Functionality

$17.99

Introduction to Coding and Information Theory

$84.99

Writing Resistance and the Question of Gender

$89.99

Fracture Mechanics of Piezoelectric Solids with Interface Cracks

$109.99

Strukturierung von flexiblen Bediensystemen fr numerische Steuerungen

$69.99

Glaubwrdigkeit in der Marketingkommunikation

$79.99

Viscosity Solutions and Applications

$39.99

Transnationale Altersmigration in Europa

$49.99

Technologietransfer im Kartellrecht

$59.99

Practical Linux Infrastructure

$49.99

Computer Safety, Reliability, and Security

$59.99

Quality of Service IWQoS 2005

$54.99

Modelltischlerei

$49.99

Die Wrmeleitfhigkeit feuerfester Steine im Spiegel der Literatur

$59.99

Population Registers and Privacy in Britain, 19361984

$79.99

Frherkennung und Steuerung von Unternehmensentwicklungen

$59.99

Internationales Umweltrecht

$49.99

Iodine Deficiency in Europe

$219.99

Empirische konomie

$29.99

Data Warehousing and Knowledge Discovery

$39.99

Mobilitt und digitale Transformation

$64.99

Computer-Assisted Medical Decision Making

$39.99

Phylogeography of Southern European Refugia

$169.99

Numerical Methods for Stiff Equations and Singular Perturbation Problems

$54.99

The Mimetic Evolution of the Court of Justice of the EU

$129.99

Adult and Embryonic Stem Cells

$89.00

China's Challenge to US Supremacy

$109.99

TCP 2014

$109.99

SAP S/4HANA Systems in Hyperscaler Clouds

$49.99

Institutional Development

$84.99

ber die Sulfatbestndigkeit von Zementmrtel

$59.99

Unternehmenskommunikation im Zeitalter der digitalen Transformation

$29.99

Summer Bridge Activities, Grades Pk - K: Bridging Grades Prekindergarten to Kindergarten by Summer Bridge Activities

$12.99

Bluetooth Security Attacks

$49.99