Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000055199011 | 1 hits
Person
ISNI: 
0000 0000 5519 9011
Name: 
Kohlhase
Kohlhase, M.
Kohlhase, Michael
Michael Kohlhase
Dates: 
1964-
Creation class: 
article
Language material
Text
Creation role: 
author
editor
Related names: 
Bundy, Alan
Freksa, C.
Freksa, Christian
Kerber, Manfred
MKM 2005 (2005 : Bremen, Germany)
Schill, Kerstin
The CALCULEMUS symposia 08 2000
Titles: 
29th Annual German Conference on AI
29th annual german conference on artificial intelligence, ki 2006, the
Advances in artificial intelligence
German Conference on AI
German Conference on Artificial Intelligence
KI 2006 : advances in artificial intelligence : 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006 : proceedings
Mathematical knowledge management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers
MKM 2005
OMDoc -- an open markup format for mathematical documents : (version 1.2)
Planetary Project, The : Towards eMath3.0
Symbolic calculation and automated reasoning, 2001:
symbolic computation and automated reasoning, proceedings of the calculemus-2000 symposium
Twenty-ninth Annual German Conference on AI
Contributed to or performed: 
LECTURE NOTES IN COMPUTER SCIENCE
Notes: 
Sources: 
VIAF BNF LC NKC NTA WKP
ZETO