Tobias Nipkow

Tobias Nipkow is the author of "Isabelle/HOL", "Concrete Semantics", "Higher-Order Algebra, Logic, and Term Rewriting" and "Term Rewriting and All That".

Books by Tobias Nipkow

Higher-Order Alge...
Heering Jan
Electronic book text: $109.00

Concrete Semantics
Nipkow, Tobias
Hardback: $84.99

Term Rewriting an...
Baader, Franz
Digital download and online: $225.00

Higher-Order Alge...
Heering Jan
Paperback: $54.99

Term Rewriting an...
Baader, Franz
Electronic book text:

Types for Proofs ...
Barendregt Hank
Paperback: $74.95

Theorem Proving i...
Berghofer Stefan
Paperback: $54.99

Isabelle/HOL
Nipkow, Tobias
Paperback: $59.99

FM 2006 - Formal ...
Misra Jayadev
Paperback: $109.99

Concrete Semantics
Nipkow, Tobias
Paperback: $59.99

Types for Proofs ...
Barendregt Henk
Electronic book text: $109.00

Isabelle/HOL
Nipkow, Tobias
Electronic book text: $69.95