Franz Baader

Franz Baader

Franz Baader has written at least 2 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

Term Rewriting and All That
ByFranz Baader,Tobias Nipkow

1998 • 1 Reader • 318 pages

Automated Deduction - CADE-19

2003 • 517 pages