-
From Semantics to Computer Science
EbookSofort lieferbarGilles Kahn was one of the most influential fig...
-
Theorem Proving in Higher Order Logics
EbookSofort lieferbarThis book constitutes the refereed proceedings ...
-
Interactive Theorem Proving and Program Development
EbookSofort lieferbarCoq is an interactive proof assistant for the d...
-
Interactive Theorem Proving and Program Development
BuchPrint on DemandCoq is an interactive proof assistant for the d...
-
Theorem Proving in Higher Order Logics
TaschenbuchPrint on DemandThis book contains the proceedings of the 12th ...
-
Interactive Theorem Proving and Program Development
TaschenbuchPrint on DemandCoq is an interactive proof assistant for the d...
-
From Semantics to Computer Science
BuchPrint on DemandExamines the significance of Gilles Kahn's cont...
- 1
Folgen Sie uns auf:
