The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ThEdu@FLoC"( http://dblp.L3S.de/Venues/ThEdu@FLoC )

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2018 (6) 2019 (1) 2022 (7) 2023 (1)
Publication types (Num. hits)
inproceedings(13) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 15 publication records. Showing 15 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Pedro Quaresma, João Marcos 0001, Walther Neuper (eds.) Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August 2022. Search on Bibsonomy ThEdu@FLoC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Klaus Miesenberger, Walther Neuper, Bernhard Stöger, Makarius Wenzel Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode. Search on Bibsonomy ThEdu@FLoC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Ankit Kumar, Andrew T. Walter, Panagiotis Manolios Automated Grading of Automata with ACL2s. Search on Bibsonomy ThEdu@FLoC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Joomy Korkut A Proof Tree Builder for Sequent Calculus and Hoare Logic. Search on Bibsonomy ThEdu@FLoC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Thierry N. Dana-Picard Computer Assisted Proofs and Automated Methods in Mathematics Education. Search on Bibsonomy ThEdu@FLoC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Joana Teles, Vanda Santos, Pedro Quaresma A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools. Search on Bibsonomy ThEdu@FLoC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Frederik Krogsdal Jacobsen, Jørgen Villadsen On Exams with the Isabelle Proof Assistant. Search on Bibsonomy ThEdu@FLoC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Davi Romero de Vasconcelos ANITA: Analytic Tableau Proof Assistant. Search on Bibsonomy ThEdu@FLoC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Pedro Quaresma, Walther Neuper (eds.) Proceedings 7th International Workshop on Theorem proving components for Educational software, ThEdu@FLoC 2018, Oxford, United Kingdom, 18 july 2018. Search on Bibsonomy ThEdu@FLoC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Walther Neuper Technologies for "Complete, Transparent & Interactive Models of Math" in Education. Search on Bibsonomy ThEdu@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maximilian Doré, Krysia Broda Towards Intuitive Reasoning in Axiomatic Geometry. Search on Bibsonomy ThEdu@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nuno Baeta, Pedro Quaresma Towards Ranking Geometric Automated Theorem Provers. Search on Bibsonomy ThEdu@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wolfgang Schreiner Theorem and Algorithm Checking for Courses on Logic and Formal Methods. Search on Bibsonomy ThEdu@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jørgen Villadsen, Asta Halkjær From, Anders Schlichtkrull Natural Deduction Assistant (NaDeA). Search on Bibsonomy ThEdu@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anders Schlichtkrull, Jørgen Villadsen, Asta Halkjær From Students' Proof Assistant (SPA). Search on Bibsonomy ThEdu@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #15 of 15 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license