Search - List of Books by Tobias Nipkow

Total Books: 4
Concrete Semantics With Isabelle/HOL
2015 - Concrete Semantics with Isabelle/hol (Hardcover)
ISBN-13: 9783319105413
ISBN-10: 3319105418
Genres: Computers & Technology, Reference, Science & Math
  ?

Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 - Isabelle/hol a Proof Assistant for Higher-order Logic [Lecture Notes in Computer Science] (Paperback)
ISBN-13: 9783540433767
ISBN-10: 3540433767
Genres: Computers & Technology, Reference, Science & Math, Medical Books
  ?

Term Rewriting and All That
1999 - Term Rewriting and All That (Paperback)Hardcover
ISBN-13: 9780521779203
ISBN-10: 0521779200
Genre: Computers & Technology
  ?

Term Rewriting and All That
1998 - Term Rewriting and All That (Hardcover)Paperback
ISBN-13: 9780521455206
ISBN-10: 0521455200
Genre: Computers & Technology
  ?