Michael Kohlhase (kohlhase)

Contributions to Philosophie.ch

Bibliography

Blackburn, Patrick, Bos, Johan, Kohlhase, Michael and Nivelle, Hans de. 1999. “Inference and Computational Semantics.” in (IWCS–3) Third International Workshop on Computational Semantics, edited by Harry C. Bunt and Elias C. C. Thijsse, pp. 5–21. Delft: Tilburg University Press.
Blackburn, Patrick and Kohlhase, Michael. 2004. “Inference and Computational Semantics.” Journal of Logic, Language, and Information 13(2): 117–120.
Gardent, Claire and Kohlhase, Michael. 1996. “Higher-Order Coloured Unification and Natural Language Semantics.” in ACL-96. Proceedings of the 34th Annual Meeting of the Association for Computational Linguistics, edited by Arivind K. Joshi and Martha S. Palmer, pp. 1–9. San Francisco, California: Morgan Kaufmann Publishers.
Kohlhase, Michael. 1998a. “Higher-Order Automated Theorem Proving.” in Automated Deduction: A Basis for Applications. Volume I, Foundations: Calculi and Methods, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 431–462. Applied Logic Series n. 8. Dordrecht: Kluwer Academic Publishers.
Kohlhase, Michael. 1998b. “Introduction (to Part I: Automated Theorem Proving in Mathematics).” in Automated Deduction: A Basis for Applications. Volume III, Applications, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 3–8. Applied Logic Series n. 10. Dordrecht: Kluwer Academic Publishers.