Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
6 results · clear filters Sort: newest oldest name
- Proceedings The 13th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2024, Nancy, France, 1-2nd July 2024.Computer and information sciencese1211dz
- International Workshop on Theorem Proving Components for Educational Software (ThEdu) (ThEdu)Computer and information sciencess10d72s
- Proceedings 12th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023.Computer and information sciencese1210s7
- Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August 2022.Computer and information sciencese12102p
- 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.Computer and information sciencese120ze1
- Proceedings 9th International Workshop on Theorem Proving Components for Educational Software, ThEdu@IJCAR 2020, Paris, France, 29th June 2020.Computer and information sciencese120ymn
As JSON: https://labs.confref.org/api/search?series=s10d72s&from=2020&to=2029