PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Dietrich, Dominik"

Author of the publication

copydeleteadd this publication to your clipboard
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics.

, , , , and . Calculemus/MKM, volume 6824 of Lecture Notes in Computer Science, page 164-179. Springer, (2011)

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.

David Dietrich University of Stuttgart

Hon. -Prof. Dietrich Bögle University of Stuttgart

Andreas Dietrich

Dominik Morar

Dominik Morar University of Stuttgart

 

Other publications of authors with the same name

A Tactic Language for Declarative Proofs., and . ITP, volume 6172 of Lecture Notes in Computer Science, page 99-114. Springer, (2010)Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors., , and . AISC/MKM/Calculemus, volume 5144 of Lecture Notes in Computer Science, page 398-414. Springer, (2008)Formalizing and Operationalizing Industrial Standards., , and . FASE, volume 6603 of Lecture Notes in Computer Science, page 81-95. Springer, (2011)Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge., and . MKM, volume 4108 of Lecture Notes in Computer Science, page 94-109. Springer, (2006)Recent developments in mega's proof search programming language., and . ACM Comm. Computer Algebra, 44 (1/2): 52-59 (2010)A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity., , , , and . MKM, volume 3863 of Lecture Notes in Computer Science, page 126-142. Springer, (2005)Towards an Intelligent Tutor for Mathematical Proofs, , and . THedu, volume 79 of EPTCS, page 1-28. (2011)Atomic Metadeduction., and . KI, volume 5803 of Lecture Notes in Computer Science, page 444-451. Springer, (2009)Fuzzy Numerical Schemes for Hyperbolic Differential Equations., and . KI, volume 5803 of Lecture Notes in Computer Science, page 419-426. Springer, (2009)ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System., , , and . Resource-Adaptive Cognitive Processes, Springer, (2011)