default search action

combined dblp search
author search
venue search
publication search

ask others

ThEdu 2017: Gothenburg, Sweden

> Home > Conferences and Workshops > ThEdu

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1803-00722
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-00722
Pedro Quaresma, Walther Neuper:
Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017. EPTCS 267, 2018
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1803-01466
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-01466
Sebastian Böhne, Christoph Kreitz:
Learning how to Prove: From the Coq Proof Assistant to Textbook Style. 1-18
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1803-01467
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-01467
Arno Ehle, Norbert Hundeshagen, Martin Lange:
The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs. 19-37
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1803-01468
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-01468
Ludovic Font, Philippe R. Richard, Michel Gagnon:
Improving QED-Tutrix by Automating the Generation of Proofs. 38-58
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1803-01469
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-01469
Mario Frank, Christoph Kreitz:
A Theorem Prover for Scientific and Educational Purposes. 59-69
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1803-03092
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-03092
Graham Leach-Krouse:
Carnap: An Open Framework for Formal Reasoning in the Browser. 70-88
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1803-01470
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-01470
Alan Krempler, Walther Neuper:
Prototyping "Systems that Explain Themselves" for Education. 89-107
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1803-01471
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-01471
Pedro Quaresma, Vanda Santos, Nuno Baeta:
Exchange of Geometric Information Between Applications. 108-119
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1803-01472
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-01472
Wolfgang Schreiner, Alexander Brunhuemer, Christoph Fürst:
Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models. 120-139
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1803-01473
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-01473
Jørgen Villadsen, Asta Halkjær From, Anders Schlichtkrull:
Natural Deduction and the Isabelle Proof Assistant. 140-155

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.