default search action

combined dblp search
author search
venue search
publication search

ask others

10th ThEdu@CADE 2021

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
> Home > Conferences and Workshops > CADE

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-2202-02144
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-02144
João Marcos, Walther Neuper, Pedro Quaresma:
Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2021, (Remote) Carnegie Mellon University, Pittsburgh, PA, United States, 11 July 2021. EPTCS 354, 2022
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2202-04627
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-04627
Zoltán Kovács, Jonathan H. Yu:
Automated Discovery of Geometrical Theorems in GeoGebra. 1-12
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2202-04626
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-04626
Zoltán Kovács, Róbert Vajda:
Symbolic Comparison of Geometric Quantities in GeoGebra. 13-25
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2202-03566
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-03566
Pedro Quaresma, Vanda Santos:
Four Geometry Problems to Introduce Automated Deduction in Secondary Schools. 27-42
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2202-03565
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-03565
Clemens Eisenhofer, Martin Riener:
Automated Instantiation of Control Flow Tracing Exercises. 43-58
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2202-08131
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-08131
Merlin Carl, Hinrich Lorenzen, Michael Schmitz:
Natural Language Proof Checking in Introduction to Proof Classes - First Experiences with Diproche. 59-70
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2202-03567
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-03567
Jørgen Villadsen, Asta Halkjær From, Patrick Blackburn:
Teaching Intuitionistic and Classical Propositional Logic Using Isabelle. 71-85
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2202-03568
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-03568
John Tang Boyland:
Evolution of SASyLF 2008-2021. 87-107

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.