VIAF

Virtual International Authority File

Search

Kohlhase, Michael National Library of the Netherlands National Library of France German National Library

Kohlhase, Michael, 1964- National Library of the Czech Republic Library of Congress/NACO

Michael Kohlhase ISNI

Michael Kohlhase informaticien allemand Wikidata

VIAF ID: 2721665 (Personal)

Permalink: http://viaf.org/viaf/2721665

ISNI: 0000  0000  5519  9011 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (7)

Open Section Close SectionWorks

Title Sources
Advances in artificial intelligence National Library of the Czech Republic Library of Congress/NACO
Mathematical knowledge management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers National Library of the Netherlands Library of Congress/NACO
MKM 2005 National Library of the Netherlands Library of Congress/NACO
OMDoc National Library of the Netherlands Library of Congress/NACO
OMDoc -- an open markup format for mathematical documents : (version 1.2) National Library of the Netherlands Library of Congress/NACO
Symbolic computation and automated reasoning the CALCULEMUS-2000 Symposium National Library of France Library of Congress/NACO
Twenty-ninth Annual German Conference on AI National Library of the Czech Republic Library of Congress/NACO

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (2)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (3)

Open Section Close Section History of VIAF ID:2721665 (13)