Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Mathematical Models as Research Data via Flexiformal Theory Graphs.

M. Kohlhase, T. Koprucki, D. Müller, und K. Tabelow. CICM, Volume 10383 von Lecture Notes in Computer Science, Seite 224-238. Springer, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Michael Kübler University of Stuttgart

Michael Kölle University of Stuttgart

Dr. Michael Böhm University of Stuttgart

Michael Böhm

Michael Funk

Weitere Publikationen von Autoren mit dem selben Namen

Applying Semantic Techniques to Search and Analyze Bug Tracking Data.H. Tran, C. Lange, G. Chulkov, J. Schönwälder, und M. Kohlhase. J. Network Syst. Manage., 17 (3): 285-308 (2009)Reimplementing the Mathematical Subject Classification (MSC) as a Linked Open DatasetC. Lange, P. Ion, A. Dimou, C. Bratsas, J. Corneli, W. Sperber, M. Kohlhase, und I. Antoniou. CoRR, (2012)Corrections and Higher-Order UnificationC. Gardent, M. Kohlhase, und N. van Leusen. CoRR, (1996)Towards Ontological Support for Principle Solutions in Mechanical Engineering.T. Breitsprecher, M. Codescu, C. Jucovschi, M. Kohlhase, L. Schröder, und S. Wartzack. CoRR, (2013)Higher Order Multi-Valued Resolution.M. Kohlhase, und O. Scheja. Journal of Applied Non-Classical Logics, 9 (4): 455-477 (1999)Transforming Large Collections of Scientific Publications to XML.H. Stamerjohanns, M. Kohlhase, D. Ginev, C. David, und B. Miller. Mathematics in Computer Science, 3 (3): 299-307 (2010)Fine-Granular Version Control & Redundancy Resolution.N. Müller, und M. Kohlhase. LWA, Volume 448 von Technical Report, Seite 1-8. Department of Computer Science, University of Würzburg, Germany, (2008)Compensating the Semantic Bias of Spreadsheets.A. Kohlhase, und M. Kohlhase. LWA, Volume 448 von Technical Report, Seite 49-58. Department of Computer Science, University of Würzburg, Germany, (2008)A Colored Version of the Lambda-Calculus.D. Hutter, und M. Kohlhase. CADE, Volume 1249 von Lecture Notes in Computer Science, Seite 291-305. Springer, (1997)Proof Development with OMEGA.J. Siekmann, C. Benzmüller, V. Brezhnev, L. Cheikhrouhou, A. Fiedler, A. Franke, H. Horacek, M. Kohlhase, A. Meier, E. Melis und 7 andere Autor(en). CADE, Volume 2392 von Lecture Notes in Computer Science, Seite 144-149. Springer, (2002)