WorldCat Identities

Kohlhase, Michael 1964-

Overview
Works: 57 works in 155 publications in 2 languages and 2,200 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Creator, Contributor, Other
Classifications: QA76.95, 510.285
Publication Timeline
.
Most widely held works by Michael Kohlhase
OMDoc -- an open markup format for mathematical documents : (version 1.2) by Michael Kohlhase( Book )

24 editions published between 2000 and 2006 in English and held by 162 WorldCat member libraries worldwide

Mathematical knowledge management : 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers by Michael Kohlhase( Book )

14 editions published in 2006 in English and held by 149 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( Book )

12 editions published in 2007 in English and held by 135 WorldCat member libraries worldwide

Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium by CALCULEMUS-2000 Symposium( Book )

4 editions published in 2001 in English and held by 81 WorldCat member libraries worldwide

A mechanization of sorted higher-order logic based on the resolution principle by Michael Kohlhase( )

10 editions published between 1994 and 2007 in English and German and held by 34 WorldCat member libraries worldwide

A Framework for Defining Declarative Languages Dieter Hutter ; Herbert Jäger ; Till Mossakowski ; Carsten Schürmann by Feryal Fulya Horozal( )

1 edition published in 2014 in English and held by 17 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

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 5 WorldCat member libraries worldwide

Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings by CICM (Conference)( Book )

6 editions published in 2016 in English and held by 5 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016. The 10 full papers and 2 short papers presented were carefully reviewed and selected from a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data
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

An integration of mechanised reasoning and computer algebra that respects explicit proofs by M Kerber( Book )

4 editions published between 1996 and 1999 in English and held by 5 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 4 WorldCat member libraries worldwide

Order-sorted type-theory by Michael Kohlhase( Book )

2 editions published in 1991 in Undetermined 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

Henkin completeness of higher-order resolution by Christoph Benzmüller( Book )

2 editions published between 1997 and 1999 in English and held by 3 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 3 WorldCat member libraries worldwide

Mathematical Knowledge Management (vol. # 3863) by Michael Kohlhase( Book )

6 editions published in 2006 in English and Undetermined and held by 3 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 3 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 3 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.61 (from 0.52 for Mathematic ... to 0.95 for Die Masse ...)

WorldCat IdentitiesRelated Identities
OMDoc -- an open markup format for mathematical documents : (version 1.2)
Alternative Names
Michael Kohlhase deutscher Informatiker

Michael Kohlhase Duits informaticus

Michael Kohlhase German computer scientist

Michael Kohlhase informaticien allemand

Michael Kohlhase informatico e matematico tedesco

Michael Kohlhase tysk datavetare

Michael Kohlhase tysk informatikar

Michael Kohlhase tysk informatiker

邁克爾·科爾哈澤

Languages
English (101)

German (5)

Covers
Mathematical knowledge management : 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papersKI 2006 : advances in artificial intelligence : 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006 : proceedingsSymbolic computation and automated reasoning : the CALCULEMUS-2000 SymposiumMathematical Knowledge Management (vol. # 3863)