Franz Baader
Franz Baader has written at least 2 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
Automated Deduction - CADE-19
ByFranz Baader
2003 • 517 pages