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
Proof and Computation
Best Price (Coupon Required):
Buy Proof and Computation for $76.50 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
|
|
$84.99 | $84.99 |
|
10% OFF
This deals requires coupon
|
$76.50 | See Site | In stock | Visit Store |
Product Details
Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure. Also conversely, the development of logical systems has been influenced by accumulating knowledge on rewriting and unification techniques. This volume contains a series of lectures by leading researchers giving a presentation of new ideas on the impact of the concept of a formal proof on computation theory. The subjects covered are: specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic.
Reviews
Questions & Answers
The Practice of Language
$109.99
Pharmakotherapie bronchopulmonaler Erkrankungen
$139.00
Jahrbuch der Wissenschaftlichen Gesellschaft fr Luftfahrt
$59.99
Foundations of JSP Design Patterns
$29.99
Der Londoner Verkehr nach dem Bericht des englischen Handelsamts
$49.99
Integrated Time-Based Signal Processing Circuits for Harsh Radiation Environments
$39.99
Oncoplastic Breast Surgery
$79.99
The Dictionary of Even More Diseased English
$19.99
Mit ererbten Kompetenzen zu neuen Geschftsmodellen
$64.99
Industrial Robots / Robots industriels / Industrie-Roboter
$54.99
Der Dienst am Volksganzen ist kein Klassenkampf
$64.99
Strategisches Projektmanagement
$74.99
Economic Analysis and Forecast of China (2015)
$109.99
Prinzipien der Medizin
$34.99
Electronic Government
$84.99
Alternative Education
$109.99
Der Absatz in der Chemischen Industrie
$59.99
Synthetic Actors
$109.99
Practical Atlas of Transplant Pathology
$119.00
Recent Advances in Recycling Engineering
$129.00
Riemann Solvers and Numerical Methods for Fluid Dynamics
$329.99
River, Sediment and Hydrological Extremes: Causes, Impacts and Management
$219.00
Photon Management Assisted by Surface Waves on Photonic Crystals
$54.99
Die Grundlagen zur Besserung der stdtischen Wohnverhltnisse
$69.99
Global Solutions of Reaction-Diffusion Systems
$54.99
Ergebnisse der Biologie
$59.99
Dependability of Engineering Systems
$109.99
Aufbau und Ablauf einer IT-Integration
$69.99
Mobile Internet Security
$49.99
Beyond Gentle Teaching
$109.99
Cultivating Mindfulness in Clinical Social Work
$139.99
Practical Organic Chemistry
$54.99
Cosmic Radiations: From Astronomy to Particle Physics
$109.99
Database Programming Languages
$39.99
Economics in Theory and Practice: An Eclectic Approach
$39.99
Die Wirkungen von sulfathaltigen Mineralwssern auf die Gallenabsonderung
$49.99
Behavioral Finance and Capital Markets
$139.99
The Psychobiology of Anorexia Nervosa
$109.99
Smart Blockchain
$54.99
Artificial Neural Networks and Machine Learning ICANN 2018
$54.99
