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
Chemistry and Technology of Water-Soluble Polymers
$129.00
Ethnic Psychiatry
$39.99
Methods and Applications of Artificial Intelligence
$39.99
Die Goldendodermis der Farne
$44.99
A Contemporary Portrait of Life in Korea
$99.00
Aktien-, Zins- und Whrungsderivate
$49.99
Borehole Seismology and the Study of the Seismic Regime of Industrial Centres
$169.99
Foundations of Knowledge Base Management
$84.99
Free Energy and Self-Interacting Particles
$109.99
Thromboembolism in Orthopedic Surgery
$109.99
Primary and Secondary Metabolism of Plants and Cell Cultures III
$84.99
You Should See Me in a Crown (Hardcover)
$13.49
Die Verarbeitung von aufgeschlossenen und gebleichten Flachsfasern (Leinen) in Mischung mit Chemiefa
$79.99
Logic versus Approximation
$79.99
Auenhandel
$69.99
Informelle Kommunikation in virtuellen Teams
$49.99
Transnational Horror Cinema
$119.99
Stem Cell Microenvironments and Beyond
$139.00
Handbuch der Hartmetallwerkzeuge
$64.99
Maschinencode Routinen fr den ZX Spectrum
$49.99
Theory and Experiment
$84.99
Managing Inpatriation
$54.99
Trends im Umweltbewusstsein
$69.99
Atlas of Frontal Sinus Surgery
$219.99
Information Security
$54.99
Weaving Complementary Knowledge Systems and Mindfulness to Educate a Literate Citizenry for Sustaina
$37.99
Metalinguistic Performance and Interlinguistic Competence
$39.99
The Work of Music
$59.99
Die CO2-Assimilation / The Assimilation of Carbon Dioxide
$59.99
Radio Design in Nanometer Technologies
$109.99
kosystem Darm IV
$69.99
Universal Grammar and the Initial State of Second Language Learning
$39.99
Mathematical and Quantum Aspects of Relativity and Cosmology
$84.99
Jugendliche mit erhhtem Psychoserisiko
$49.99
Advanced Intelligent Computing Technology and Applications
$89.99
Tracing the Politicisation of the EU
$139.99
Soziale Angst verstehen und verndern
$19.99
Dictionary of Food and Ingredients
$54.99
Elektrische Hochleistungsbertragung auf weite Entfernung
$44.99
Technology Branding
$74.99
