freek wiedijk
Interactive Theorem Proving
EbookSofort lieferbarThis book constitutes the refereed proceedings of the Second International Conference on Interact...
The Seventeen Provers of the World
EbookSofort lieferbarCommemorating the 50th anniversary of the first time a mathematical theorem was proven by a compu...
Intelligent Computer Mathematics
EbookSofort lieferbarThis book constitutes the joint refereed proceedings of the 9th International Conference on Artif...
Types for Proofs and Programs
EbookSofort lieferbarThese proceedings contain a refereed selection of papers presented at the Second Annual Workshop ...
Hybrid Systems: Computation and Control
EbookSofort lieferbarThis volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Con...
Logics and Type Systems in Theory and Practice
EbookSofort lieferbarThis Festschrift, dedicated to Herman Geuvers on the occasion of his 60th birthday, contains pape...
Hybrid Systems: Computation and Control
TaschenbuchPrint on DemandThis volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Con...
Logics and Type Systems in Theory and Practice
TaschenbuchPrint on DemandThis Festschrift, dedicated to Herman Geuvers on the occasion of his 60th birthday, contains p...
- 1