Jürgen Avenhaus (avenhaus)

Beiträge zu Philosophie.ch

Bibliography

Avenhaus, Jürgen. 1998. “Introduction (To Part IV: Comparison and Cooperation of Theorem Provers).” in Automated Deduction: A Basis for Applications. Volume II, Systems and Implementation Techniques, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 325–330. Applied Logic Series n. 9. Dordrecht: Kluwer Academic Publishers.
Avenhaus, Jürgen and Madlener, K. 1999. “Inductive Theorem Proving in Hierarchical Conditional Specifications.” in Models, Algebras, and Proofs. Selected Papers of the X Latin American Symposium on Mathematical Logic Held in Bogotá, edited by Xavier Caicedo and Carlos H. Montenegro, pp. 337–372. New York: Marcel Dekker.