Arno Ehle und Martin Lange - Info zur Person

(1 - 9 von 12

)

Computers and Society authors/titles Jul 2015

arxiv.org

Authors: Arno Ehle, Norbert Hundeshagen, Martin Lange. Comments: Proceedings of the Fourth International Conference on Tools for Teaching Logic ...

dblp: Martin Lange

dblp.uni-trier.de

List of computer science publications by Martin Lange

Arno Ehle - dblpdblp.org › Persons

dblp.org

Arno Ehle, Norbert Hundeshagen, Martin Lange: The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs.

Martin Lange - DBLPdblp.org › Persons

dblp.org

Twitter; Reddit; BibSonomy; LinkedIn; Facebook. persistent URL: https://dblp.org/rec/journals/corr/EhleHL15. Arno Ehle, Norbert Hundeshagen, Martin Lange:

Alle Infos zum Namen "Arno Ehle"

EPTCS 267: Theorem proving components for Educational software

cgi.cse.unsw.edu.au

Arno Ehle, Norbert Hundeshagen and Martin Lange, 19. Improving QED-Tutrix by Automating the Generation of Proofs Ludovic Font, Philippe R. Richard and Michel Gagnon, 38. A Theorem Prover for Scientific and Educational Purposes Mario Frank and Christoph Kreitz, 59. Carnap: An Open Framework ...