tobias nipkow
Concrete Semantics
EbookSofort lieferbarPart I of this book is a practical introduction to working with the Isabelle proof assistant. It ...
FM 2006: Formal Methods
EbookSofort lieferbarThis book presents the refereed proceedings of the 14th International Symposium on Formal Methods...
Theorem Proving in Higher Order Logics
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 22nd International Conference on Theorem Pr...
Automated Reasoning
EbookSofort lieferbarThis book constitutes the refereed proceedings of the First International Joint Conference on Aut...
Rewriting Techniques and Applications
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 9th International Conference on Rewriting T...
Isabelle/HOL
EbookSofort lieferbarThis volume is a self-contained introduction to interactive proof in high- order logic (HOL), usi...
Term Rewriting and All That
TaschenbuchBezug 11-15Unified and self-contained introduction to term-rewriting; suited for students or professionals.
Isabelle/HOL
TaschenbuchPrint on DemandThis volume is a self-contained introduction to interactive proof in high- order logic (HOL), usi...
Concrete Semantics
BuchPrint on DemandPart I of this book is a practical introduction to working with the Isabelle proof assistant. ...
Concrete Semantics
TaschenbuchPrint on DemandPart I of this book is a practical introduction to working with the Isabelle proof assistant. ...
Types for Proofs and Programs
TaschenbuchPrint on DemandThis volume contains thoroughly refereed and revised full papers selected from the presentations ...
Rewriting Techniques and Applications
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 9th International Conference on Rewriting T...
- 1
- 2