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
Types for Proofs and Programs
Best Price (Coupon Required):
Buy Types for Proofs and Programs 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 thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993. As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiomatisation, performing computer-aided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or proof checkers.
Reviews
Questions & Answers
Atlas of Endoscopic Major Pulmonary Resections
$149.00
Bayesian Inference
$129.00
Baudrillard and the Culture Industry
$39.99
Ecology and Conservation of Mountaintop grasslands in Brazil
$219.99
A Comprehensive Textbook of Classical Mathematics
$54.99
Ring Theory, Waterloo 1978
$34.99
Netherlands Yearbook of International Law 2020
$129.00
Theory, Practice, and Applications of Rules on the Web
$49.99
Successful Prevention Programs for Children and Adolescents
$109.99
Practical Analysis in One Variable
$49.99
Coteaching in International Contexts
$169.99
Learning-based VANET Communication and Security Techniques
$109.99
Die Chemie und der Stoffwechsel des Nervengewebes
$49.99
Proceedings of the 2nd International Conference on Emerging Technologies and Intelligent Systems
$249.99
Mapping Genetic Interactions
$219.99
Geschichte des Husserl-Archivs History of the Husserl-Archives
$54.99
Observers Guide to Star Clusters
$44.99
CSR und Mitarbeiterbeteiligung
$29.99
Ultra-Strukturchemie
$59.99
Globalization and Human Rights
$109.99
Everyone Wins! (10-copy pack)
$269.90
Evidence-Informed Assessment and Practice in Child Welfare
$54.99
Art, Science, and Diplomacy: A Study of the Visual Images of the Macartney Embassy to China, 1793
$119.99
Hazardous Waste and Pollution
$39.99
Show Me a Sign
$6.74
Textbook of Neuroanesthesia and Neurocritical Care
$199.99
Business Information Systems Workshops
$99.99
Affective Dialogue Systems
$54.99
Kopfschmerzen
$84.99
Wahlkampf mit Humor und Komik
$49.99
Die Triangulation von Java ausgefhrt vom Personal des Geographischen Dienstes in Niederlndisch Ost
$54.99
Prostaglandin E1
$109.99
Endomorphism Rings of Abelian Groups
$54.99
Der wissenschaftliche Autor
$59.99
Applied Statistical Thermodynamics
$109.99
Theorie schallnaher Strmungen
$64.99
From Hamiltonians to Phase Diagrams
$39.99
The kidney in plasma cell dyscrasias
$39.99
Regulation of Sexual Conduct in UN Peacekeeping Operations
$84.99
The Anomalous Magnetic Moment of the Muon
$199.00
