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
Human Service Organizations in the Disaster Context
$54.99
The Scale Structure of the Universe
$109.99
Bautechnische Berechnungstafeln fr Ingenieure
$39.99
Polar Bears and Penguins
$4.46
Ancient Views on the Quality of Life
$54.99
Imaging in Pediatric Oncology
$139.99
Measuring Ontologies for Value Enhancement: Aligning Computing Productivity with Human Creativity fo
$84.99
Dynamics of Energy Governance in Europe and Russia
$84.99
Zur Gte linearer Entscheidungsregeln in Produktions-Lagerhaltungs-Modellen
$59.99
Institutional Reform for Innovation and Entrepreneurship
$24.99
Strmungsmechanik des laminaren Mischens
$29.99
Soziales Kapital und Bildungserfolg
$44.99
Elektrotherapie
$89.99
Realismus und Grnderzeit, Band 2: Manifeste und Dokumente
$64.99
Molecular Identification of Mosquito Vectors and Their Management
$139.00
Skin 3-D Models and Cosmetics Toxicity
$219.99
Endocrine Surgery Comprehensive Board Exam Guide
$139.99
Advances in Visual Computing
$89.99
Mother-Tongue in Modern Japanese Literature and Criticism
$89.99
Existentialist Ethics
$54.99
Praxis des internationalen Finanzmanagement
$59.99
Trends and Perspectives in Applied Mathematics
$39.99
Networked Systems
$54.99
Transmission of Information by Orthogonal Functions
$109.99
Emotionen
$14.99
The Political Economy of Pacific Russia
$129.99
Joining Decisions in Open Collaborative Innovation Communities
$54.99
Probability, Statistics and Time
$54.99
Edmund Spenser's War on Lord Burghley
$54.99
Biomechanics of Diarthrodial Joints
$109.00
Komplexittstheorie
$59.99
Introduction to Data Mining and its Applications
$219.99
The Periodontium
$109.00
Acute Kidney Injury and Regenerative Medicine
$219.99
Genetic Analyses of Wheat and Molecular Marker-Assisted Breeding, Volume 2
$169.99
Research and Development in the Academy, Creative Industries and Applications
$39.99
The Wise Men Who Found Christmas by Raymond Arroyo
$17.95
Learning Search Control Knowledge
$109.99
The Relational Fabric of Community
$109.99
Technology-Driven Business Innovation: Unleashing the Digital Advantage
$219.99
