Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
2 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
- 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&country=FR