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
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
