Publikationen

Seite 2 von 2.

Serge Autexier; Dominik Dietrich; Marvin Schiller
Towards an Intelligent Tutor for Mathematical Proofs
In: Pedro Quaresma; Ralph-Johan Back (Hrsg.). Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 79, Pages 1-28, ArXiv, 2/2012.
David Aspinall; Ewen Denney; Christoph Lüth
Querying Proofs
In: 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18). International Conference on Logic for …
Serge Autexier; Catalin David; Dominik Dietrich; Michael Kohlhase; Vyacheslav Zholudev
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics
In: James H. Davenport; William Farmer; Florian Rabe; Joseph Urban (Hrsg.). Proceedings of Calculemus/MKM 2011. Conferences on Intelligent Computer …
Serge Autexier; Dominik Dietrich; Marvin Schiller
Cognitive Tutoring in Mathematics based on Assertion Level Reasoning and Proof Strategies (Extended Abstract)
In: Pedro Quaresma; Ralph-Johan Back (Hrsg.). THedu'11 - CTP Components for Educational Software. CTP Components for Educational Software (Thedu-11), …
Sergey Goncharov; Lutz Schröder
Powermonads and Tensors of Unranked Effects
In: Martin Grohe (Hrsg.). Proceedings of the 26th Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE. IEEE Symposium on Logic in Computer Science …