Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
COLOG-88
Best Price (Coupon Required):
Buy COLOG-88 for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Open Source Systems: Enterprise Software and Solutions
$54.99
Emerging Issues in Inflammatory Bowel Diseases
$219.99
Data Science
$44.99
Tribology in Total Hip Arthroplasty
$54.99
Regenerative Medicine: Laboratory to Clinic
$169.00
Constitutive Equations of Nonlinear Electromagnetic-Elastic Crystals
$39.99
Consciousness in Modernist Fiction
$54.99
Sport, Rhetoric, and Gender
$44.99
Flash Floods
$199.99
Modelling and Simulation for Autonomous Systems
$109.99
Active System Control
$109.99
Financial Data Analytics
$199.99
Interaction Between Ions and Molecules
$54.99
Vertrauen, Misstrauen und Medien
$79.99
ber die Rechtfertigung von Begabtenfrderung
$59.99
Nutrition and Biotechnology in Heart Disease and Cancer
$39.99
An Algebraic Introduction to Mathematical Logic
$64.99
Fundamentals of Literary Theory
$119.99
Theories of Programming and Formal Methods
$79.99
Handbook of Terrestrial Heat-Flow Density Determination
$169.00
Design Education Across Disciplines
$169.99
The Beagle Brain in Stereotaxic Coordinates
$219.00
Advances in Automatic Differentiation
$179.99
Kybernetisches Denken und Handeln in der Unternehmenspraxis
$39.99
Groprojektmanagement
$29.99
E-Voting and Identity
$49.99
Ocean Wave Energy
$84.99
Markt Inklusion - Gerechtigkeit
$59.99
Die mecklenburgische Steuerreform, Preuen und der Zollverein
$59.99
Noise Sources in Turbulent Shear Flows: Fundamentals and Applications
$249.99
Evangelicalism and Conflict in Northern Ireland
$54.99
Das Mrkisch-Thringische Dreiecksnetz
$54.99
Kubernetes Microservices with Docker
$69.99
Vorlesungen ber Allgemeine Konstitutions- und Vererbungslehre
$59.99
Handbook of Quality Assurance for the Analytical Chemistry Laboratory
$84.99
Secondary Algebra Education: Revisiting Topics and Themes and Exploring the Unknown
$49.99
Niere und Elektrolyte
$69.99
Abschlusicher verkaufen mit Joe Girard
$64.99
Teaching Evidence-Based Medicine
$99.00
Votes, Parties, and Seats
$39.99
