Tobias Nipkow
Tobias Nipkow has written at least 5 books. Their most popular book is Term Rewriting and All That with 2 saves with an average rating of -⭐.
Term Rewriting and All That
ByFranz Baader,Tobias Nipkow
1998 • 2 Readers • 318 pages
Types for Proofs and Programs
ByTobias Nipkow
1994 • 404 pages
Automated Reasoning
ByRajeev Gore,Alexander Leitsch,+1 more
2003 • 721 pages
Isabelle/HOL
ByTobias Nipkow,Lawrence C. Paulson,+1 more
2003 • 226 pages
Theorem Proving in Higher Order Logics
ByStefan Berghofer,Tobias Nipkow,+2 more
2009 • 527 pages