WorldCat Identities

Kohlhase, Michael 1964-

Overview
Works: 60 works in 143 publications in 2 languages and 1,884 library holdings
Genres: Conference proceedings 
Roles: Author, Creator, Editor, Contributor
Classifications: QA76.95, 510.285
Publication Timeline
Key
Publications about  Michael Kohlhase Publications about Michael Kohlhase
Publications by  Michael Kohlhase Publications by Michael Kohlhase
Most widely held works by Michael Kohlhase
OMDoc -- an open markup format for mathematical documents (version 1.2) by Michael Kohlhase ( )
20 editions published between 2000 and 2006 in English and held by 578 WorldCat member libraries worldwide
Mathematical knowledge management 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers by Michael Kohlhase ( )
12 editions published in 2006 in English and held by 550 WorldCat member libraries worldwide
KI 2006 advances in artificial intelligence : 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006 : proceedings by C Freksa ( )
15 editions published in 2007 in English and held by 522 WorldCat member libraries worldwide
Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium by CALCULEMUS-2000 Symposium ( Book )
3 editions published in 2001 in English and held by 76 WorldCat member libraries worldwide
Mathematical Knowledge Management (vol. # 3863) 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers by Michael Kohlhase ( )
4 editions published in 2006 in English and held by 31 WorldCat member libraries worldwide
A mechanization of sorted higher-order logic based on the resolution principle by Michael Kohlhase ( Book )
8 editions published in 1994 in English and German and held by 11 WorldCat member libraries worldwide
OMDoc - an open markup format for mathematical documents : [version 1.2] by Michael Kohlhase ( )
2 editions published in 2006 in English and held by 9 WorldCat member libraries worldwide
Higher order coloured unification and natural language semantics by Claire Gardent ( Book )
3 editions published in 1996 in English and held by 6 WorldCat member libraries worldwide
Higher-order multi-valued resolution by Michael Kohlhase ( Book )
4 editions published between 1995 and 1999 in English and held by 6 WorldCat member libraries worldwide
Focus and higher order unification by Claire Gardent ( Book )
3 editions published in 1996 in English and held by 6 WorldCat member libraries worldwide
Unification in an extensional lambda calculus with ordered function sorts and constant overloading by Patricia Johann ( Book )
4 editions published between 1993 and 1999 in English and held by 5 WorldCat member libraries worldwide
Henkin completeness of higher-order resolution by Christoph Benzmüller ( Book )
2 editions published between 1997 and 1999 in English and held by 4 WorldCat member libraries worldwide
Methods - the basic units for planning and verifying proofs by Xiaorong Huang ( Book )
3 editions published between 1992 and 1999 in English and held by 4 WorldCat member libraries worldwide
Higher-order automated theorem proving for natural language semantics by Michael Kohlhase ( Book )
2 editions published in 1998 in English and held by 4 WorldCat member libraries worldwide
Higher order order-sorted resolution by Michael Kohlhase ( Book )
2 editions published between 1994 and 1999 in Undetermined and English and held by 4 WorldCat member libraries worldwide
A colored version of the [lambda]-calculus by Dieter Hutter ( Book )
2 editions published in 1995 in English and held by 4 WorldCat member libraries worldwide
A mechanization of strong Kleene logic for partial functions by Manfred Kerber ( Book )
2 editions published between 1993 and 1999 in English and held by 4 WorldCat member libraries worldwide
Order-sorted type-theory by Michael Kohlhase ( Book )
2 editions published in 1991 in Undetermined and held by 3 WorldCat member libraries worldwide
Model existence for higher order logic by Christoph Benzmüller ( Book )
3 editions published in 1997 in English and held by 3 WorldCat member libraries worldwide
Die Masse der Bogengänge von Echsen (Squamata) unterschiedlicher Lebensform : ein Beitrag zur vergleichenden Untersuchung von Funktionsanpassungen by Michael Kohlhase ( Book )
3 editions published in 1989 in German and Undetermined and held by 3 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.75 (from 0.00 for Die Masse ... to 0.95 for Symbolic c ...)
Alternative Names
Kohlhase
Languages
English (90)
German (5)
Covers