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 genre Computers.
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 genre Computers.
 Term Rewriting and All That
| 0 | 0 reads | |
 Types for Proofs and Programs
| 0 | 0 reads | |
 Automated Reasoning
| 0 | 0 reads | |
 Isabelle/HOL
| 0 | 0 reads | |
 Theorem Proving in Higher Order Logics
| 0 | 0 reads |