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
Roads to the Top
$54.99
Neuromuskulre Krankheiten
$69.99
Global Challenges in Energy and Environment
$169.99
The New Martians
$19.99
Gute Begutachtung?
$29.99
Singular & Plural Nouns Grade 2 Differentiation Pack
$5.99
Biomaterials
$39.99
Women and Low Pay
$44.99
Critical Care Nephrology
$39.99
Place Based Approaches to Sustainability Volume I
$179.99
Education and Thinking in Continental Philosophy
$109.99
US Military Bases, Quasi-bases, and Domestic Politics in Latin America
$119.99
Bioanalytische und biochemische Labormethoden
$84.99
Leptin
$84.99
Werewolf Histories
$139.99
Management der Zuliefererbeziehungen
$69.99
International Criminal Procedure
$109.99
Dactyl Hill Squad: Freedom Fire
$5.24
Biomedical Technology
$129.00
Achieving Sustainable Business through AI, Technology Education and Computer Science
$249.99
Ontologies for Agents: Theory and Experiences
$69.95
Architectures of Small-Cell Networks and Interference Management
$54.99
Security of FPGA-Accelerated Cloud Computing Environments
$89.99
Locomotion and Posture in Older Adults
$99.00
Computer Assistance in the Analysis of High-Resolution NMR Spectra
$84.99
Constitutional Futures Revisited
$54.99
Finite Fields: Theory and Computation
$219.99
Betrieb von Elektrizittswerken
$69.99
Heilen, Forschen, Interaktion
$69.99
Project Scheduling
$259.00
Sputtering by Particle Bombardment I
$39.99
Genetisches und cytogenetisches Wrterbuch
$54.99
Highlights aus der Informatik
$59.99
Geschftsmodellinnovation in der Antriebstechnik
$64.99
International Symposium on Metabolism, Physiology, and Clinical Use of Pentoses and Pentitols
$84.99
Notfallmedizin. Fragen und Antworten
$29.99
Achieving Excellence in Medical Education
$74.99
Intraocular and Intracranial Pressure Gradient in Glaucoma
$109.99
Newton Methods for Nonlinear Problems
$84.99
Die Eisen- und Manganerze Osteuropas
$59.99
