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
Advances in Knowledge Discovery and Data Mining
$89.00
Local Development and Competitiveness
$109.99
General Practitioner Education
$54.99
Law and Migration in a Changing World
$199.99
Mechanism Design for Sustainability
$84.99
The Catalyzing Mind
$109.99
Pop-Fans
$39.99
Core Knowledge Sequence Grade 1
$485.00
Nuclear Power Plants: Innovative Technologies for Instrumentation and Control Systems
$149.00
Laser/Optoelektronik in der Medizin / Laser/Optoelectronics in Medicine
$109.99
Populre Fernsehbilder ber Afrika
$44.99
Bioactive Components
$199.99
Human and Mediated Communication around the World
$129.00
World Internet Development Report 2018
$109.99
Adolescent Girlhood and Literary Culture at the Fin de Sicle
$54.99
Normatives und rationales Vertrauen in Europa
$44.99
Hamilton-Jacobi Equations: Approximations, Numerical Analysis and Applications
$59.95
Compressive Sensing for the Photonic Mixer Device
$99.99
Temporary Camps, Enduring Segregation
$54.99
Worst of Friends
$5.21
Public Administration in Germany
$59.99
Projektmanagement fr Ingenieure
$44.99
Schulterchirurgie in der Praxis
$79.99
Innovation Policy and the Limits of Laissez-faire
$109.99
Dynamic Models of Advertising Competition
$109.99
Leo I Love You All Ways by Marianne Richmond
$8.99
Decoherence and the Appearance of a Classical World in Quantum Theory
$169.99
Recent Developments in Time-Frequency Analysis
$109.99
Wrmeschutz
$44.99
The Competitive Advantage of Industrial Districts
$109.99
The Great Kapok Tree
$5.96
Systemic Sclerosis
$84.99
Civil Society and Transitions in the Western Balkans
$54.99
US Foreign Policy in a Challenging World
$89.00
Blockchain Intelligence
$169.99
Gesellschaftliches Lernen im politischen Diskurs
$59.99
Digital Humanities Looking at the World
$159.99
Transactions on Computational Collective Intelligence XIX
$54.99
Reading Unbound (10-copy pack)
$172.40
The Virtual Utility
$219.99
