dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Michael Kohlhase (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Kerber, Michael Kohlhase, Volker Sorge: Integrating Computer Algebra into Proof Planning. J. Autom. Reasoning 21(3): 327-355 (1998)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge: Omega: Towards a Mathematical Assistant. CADE 1997: 252-255
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Kerber, Michael Kohlhase: Mechanising Partiality With Re-implementation. KI 1997: 123-134
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Kerber, Michael Kohlhase, Volker Sorge: Integrating Computer Algebra with Proof Planning. DISCO 1996: 204-215
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Kerber, Michael Kohlhase: A Resolution Calculus for Presuppositions. ECAI 1996: 375-379
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: Die Beweisentwicklungsumgebung Omega-MKRP. Inform., Forsch. Entwickl. 11(1): 20-26 (1996)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Kerber, Michael Kohlhase: A Mechanization of Strong Kleene Logic for Partial Functions. CADE 1994: 371-385
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: Omega-MKRP: A Proof Development Environment. CADE 1994: 788-792
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: KEIM: A Toolkit for Automated Deduction. CADE 1994: 807-810
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts: Adapting Methods to Novel Tasks in Proof Planning. KI 1994: 379-390

Selection of 10 from 114 records - Michael Kohlhase has 86 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page