yves bertot
From Semantics to Computer Science
EbookSofort lieferbarGilles Kahn was one of the most influential figures in the development of computer science and in...
Theorem Proving in Higher Order Logics
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 12th International Conference on Theorem Pr...
Interactive Theorem Proving and Program Development
EbookSofort lieferbarCoq is an interactive proof assistant for the development of mathematical theories and formally c...
From Semantics to Computer Science
BuchBezug 11-15Examines the significance of Gilles Kahn's contribution to computer science and reflects upon the...
Interactive Theorem Proving and Program Development
TaschenbuchPrint on DemandCoq is an interactive proof assistant for the development of mathematical theories and formall...
Interactive Theorem Proving and Program Development
BuchPrint on DemandCoq is an interactive proof assistant for the development of mathematical theories and formall...
Theorem Proving in Higher Order Logics
TaschenbuchPrint on DemandThis book contains the proceedings of the 12th International Conference on TheoremProvinginHigher...
- 1