default search action

combined dblp search
author search
venue search
publication search

ask others

8th ThEdu 2019: Natal, Brazil

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> 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
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2002-11895
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-11895
Pedro Quaresma, Walther Neuper, João Marcos:
Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August 2019. EPTCS 313, 2020
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2002-12551
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-12551
Ludovic Font, Sébastien Cyr, Philippe R. Richard, Michel Gagnon:
Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context. 1-16
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2002-12552
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-12552
Josje Lodder, Bastiaan Heeren, Johan Jeuring:
Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction. 17-34
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2002-12553
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-12553
David M. Cerna, Rafael P. D. Kiesel, Alexandra Dzhiganskaya:
A Mobile Application for Self-Guided Study of Formal Reasoning. 35-53
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2002-12554
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-12554
Sarah Winkler, Aart Middeldorp:
Tools in Term Rewriting for Education. 54-72
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2002-12555
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-12555
Asta Halkjær From, Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen:
Teaching a Formalized Logical Calculus. 73-92
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2002-12556
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-12556
Nuno Baeta, Pedro Quaresma, Zoltán Kovács:
Towards a Geometry Automated Provers Competition. 93-100

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.