Thomas Rath (rath-th)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Bibel, Wolfgang, Brüning, Stefan, Otten, Jens, Rath, Thomas and Schaub, Torsten H. 1998. “Compressions and Extensions.” in Automated Deduction: A Basis for Applications. Volume I, Foundations: Calculi and Methods, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 133–181. Applied Logic Series n. 8. Dordrecht: Kluwer Academic Publishers.