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
Pattern Recognition
$39.99
Fllstandsmessung flssiger Metalle, insbesondere von Eisen, unter Atmosphrenbedingungen mit elektr
$59.99
Resilienzfrderung an der Schule
$49.99
Smart Cities in the Mediterranean
$84.99
I SPY Extreme Challenger! (Hardcover)
$11.24
Nonlinear Dynamics and Chaotic Phenomena
$109.99
Asset Management fr Infrastrukturanlagen - Energie und Wasser
$149.00
Marktliche Koordination in der dezentralen Produktionsplanung
$49.99
Zweiter Teil: Neue Verfahren in der Technik der chemischen Veredlung der Textilfasern
$49.99
Reading for Wonder
$79.99
Geometry
$37.99
Bargaining over Time Allocation
$54.99
Kinetik und Regulation der Erythrocytenproduktion
$59.99
Produkte entwickeln mit IDE
$19.99
Die kurzfristige Finanzplanung industrieller Unternehmungen
$59.99
Food Chemistry
$109.00
Many Faces of Love
$49.99
Structural Integrity and Monitoring for Composite Materials
$169.99
Regulating and Supervising European Financial Markets
$169.99
EMDR
$19.99
An Introduction to Non-Abelian Discrete Symmetries for Particle Physicists
$69.99
Microbial Production
$169.99
Russia's Provinces
$84.99
Broforum 86 Informationsmanagement fr die Praxis
$69.99
Corporate Governance in a Globalising World: Convergence or Divergence?
$84.99
How Einstein Found His Field Equations
$139.99
Neurochemical Aspects of Neurotraumatic and Neurodegenerative Diseases
$169.00
Introduction to Astronomical Photometry
$129.00
Optimization Methods, Theory and Applications
$54.99
Efficient Algorithms for Discrete Wavelet Transform
$54.99
Handbuch der Lichttherapie
$49.99
Some aspects of the extraterritorial reach of the American antitrust laws
$54.99
New Findings on Aclarubicin in the Treatment of Acute Myeloid Leukemia
$109.99
Soziale Innovation durch Gender Mainstreaming?
$49.99
Transformation und Deformation: Vergils Aeneis als Vorbild spanischer und italienischer Ritterdichtu
$54.99
Scalable Optimization via Probabilistic Modeling
$169.99
Frontiers in Statistical Quality Control 8
$109.99
Quantitative Evaluation of Systems
$54.99
Conventional Three-Phase Fixed-Bed Technologies
$54.99
