Tobias Nipkow

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
Types for Proofs and Programs
Automated Reasoning
Isabelle/HOL
Theorem Proving in Higher Order Logics