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
Coherent Inelastic Neutron Scattering in Lattice Dynamics
$39.99
Komplexe
$79.99
Metal-Organic Frameworks for Photonics Applications
$169.00
Theoretical Molecular Biophysics
$119.99
Bio-inspired Algorithms for Data Streaming and Visualization, Big Data Management, and Fog Computing
$199.99
Perspectives in Ethology
$39.99
Green Carbon Quantum Dots
$59.99
Unicorns My Busy Books by Phidal
$14.00
Rntgenphysik
$59.99
Mit Controlling zum Projekterfolg
$39.99
Visual Explorers: Birds of Prey
$5.21
The Development of an Integrated Planning and Decision Support System (IPDSS) for Land Consolidation
$169.99
Empty Innovation
$59.99
Poison Waves (Secrets of the Sky #2) (Hardcover)
$13.49
The Chemistry of Mood, Motivation, and Memory
$109.99
Communication Technologies for Vehicles
$54.99
Europe's New Fiscal Union
$84.99
A Flower in the Snow
$5.96
Designing Knowledge Management-Enabled Business Strategies
$39.99
Basic Science of Cancer
$54.99
Virology
$44.99
Non-Connected Convexities and Applications
$109.99
Contaminated Land Treatment Technologies
$219.99
Lectures on General Quantum Correlations and their Applications
$159.99
Exploring Image Binarization Techniques
$109.99
British Romantic Art and the Second World War
$39.99
The Steiner Tree Problem
$49.99
Modern Operator Theory and Applications
$109.99
Boy-Crazy Stacey: A Graphic Novel (The Baby-Sitters Club #7) (Hardcover)
$18.74
Big Data Privacy Preservation for Cyber-Physical Systems
$54.99
A Pipelined Multi-Core Machine with Operating System Support
$54.99
Proceedings of the 3rd International Congress on Neo-Adjuvant Chemotherapy
$39.99
Chaperonin Protocols
$84.99
Logical and Epistemological Studies in Contemporary Physics
$109.99
A Brief History of Image Science and Technology in China
$119.99
Psychology of Group and Collective Intelligence
$69.99
Computer Vision ECCV 2022
$119.99
The Structure and Reaction Processes of Coal
$169.99
Learn JavaScript with p5.js
$37.99
Biorefinery
$159.99
