-
15.09.2014'The best education,' the admissions brochure declared, 'is the confrontation of two first-class ...
-
09.06.2003
Logic and Computation is concerned with techniques for formal theorem-proving, with particular re...
-
30.11.2009
This new edition of a successful text treats modules in more depth, and covers the revision of ML...
-
28.07.1994
As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include ...
-
03.04.2002
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), usi...
-
This volume contains the papers presented at ITP 2010: the First International ConferenceonIntera...
TaschenbuchUnser bisheriger Preis:ORGPRICE: 112,34 €
Jetzt 106,99 €Besorgungstitel - wird vorgemerktAlle Preise inkl. MwSt | Versandkostenfrei
- 1