Arno Ehle und Proofs - Info zur Person

(1 - 5 von 10

)

[ ] The Sequent Calculus Trainer with Automated Reasoning -...

arxiv.org

Title:The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs. Authors:Arno Ehle (University of Kassel), ...

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.

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 ...

Timo Ziepprecht
Sarah Schnitzerling
Andreas Freund

Mirco Seemann
Klaus Nakatenus
Carl Alexander Kirchner

Person "Ehle" (3)
Vorname "Arno" (7801)
Name "Ehle" (333)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Arno Ehle und Proofs Person-Info

[ ] The Sequent Calculus Trainer with Automated Reasoning -...

Arno Ehle - dblpdblp.org › Persons

EPTCS 267: Theorem proving components for Educational software

References - School of Computer Sciencecgi.cse.unsw.edu.au › ~eptcs › references › thedu...

[PDF] The Sequent Calculus Trainer with Automated ...www.semanticscholar.org › paper › The-Sequent-...

Alle Infos zum Namen "Arno Ehle"