Proceedings 11th International Workshop on Theorem Proving Components for Educational Software - Quaresma, Pedro; Marcos, João; Neuper, Walther (arXiv.org, 2023)
Keywords: Automation; Computer Science - Artificial Intelligence; Computer Science - Computers and Society; Computer Science - Logic in Computer Science; Deduction; Educational software; Software; Technical education; Theorem proving; Jerusalem Israel; Israel