VIAF

Virtual International Authority File

Search

Kohlhase, Michael, 1964- National Library of the Czech Republic Library of Congress/NACO National Library of Israel German National Library NUKAT Center of Warsaw University Library

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

Michael Kohlhase informaticien allemand ISNI

Michael Kohlhase deutscher Informatiker Wikidata

VIAF ID: 2721665 (Personal)

Permalink: //viaf.org/viaf/2721665

ISNI: 0000  0000  5519  9011 

Open Section Close Section Preferred Forms

 

 

 

 

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

Open Section Close Section 5xx's: Related Names (1)

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 BIBSYS
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 BIBSYS
Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium Library of Congress/NACO National Library of France National Library of Israel
Towards a MIZAR Mathematical Library in OMDoc Format / Grzegorz Bancerek and Michael Kohlhase // From insight to proof : Festschrift in honour of Andrzej Trybulec / guest editors: Roman Matuszewski, Anna Zalewska. - Białystok, 2007. - S. 265-275 NUKAT Center of Warsaw University Library
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 and Regions of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (3)

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