Tobias Nipkow
Tobias Nipkow has written at least 5 books. Their most popular book is Term Rewriting and All That with 1 save with an average rating of -⭐.
They are best known for writing in the genres one, asdfsa, and Asdfsa.
mone, asdfsa, and Asdfsa are their most common moods.
Term Rewriting and All That
ByFranz Baader,Tobias Nipkow
1998 • 1 Reader • 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