PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Moschner, Markus"

Author of the publication

copydeleteadd this publication to your clipboard
Proof Development with OMEGA.

, , , , , , , , , , , , , , , , and . CADE, volume 2392 of Lecture Notes in Computer Science, page 144-149. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Janina Moschner University of Stuttgart

Markus Wagner

Markus Wagner

Markus Wizani

Markus Blandl University of Stuttgart

 

Other publications of authors with the same name

Towards an Ontology for Data in Business Decisions., and . PAKM, volume 3336 of Lecture Notes in Computer Science, page 397-407. Springer, (2004)Ontology Integration for Statistical Information., and . EUROCAST, volume 3643 of Lecture Notes in Computer Science, page 63-68. Springer, (2005)Managing Heterogeneous Theories within a Mathematical Knowledge Repository., and . MKM, volume 3119 of Lecture Notes in Computer Science, page 116-129. Springer, (2004)Finite Model Building for Propositional Gödel-Logics as an Example for Projective Logics.. ARW, volume 32 of CEUR Workshop Proceedings, CEUR-WS.org, (2000)Proof Development with OMEGA., , , , , , , , , and 7 other author(s). CADE, volume 2392 of Lecture Notes in Computer Science, page 144-149. Springer, (2002)Knowledge Integration from Multidimensional Data Sources., and . EUROCAST, volume 4739 of Lecture Notes in Computer Science, page 345-351. Springer, (2007)