Automated Theorem Proving in the Classroom

Saved in:
Bibliographic Details
Published inElectronic proceedings in theoretical computer science Vol. 352; pp. 54 - 63
Main Author Windsteiger, Wolfgang
Format Journal Article
LanguageEnglish
Published 30.12.2021
Online AccessGet full text
ISSN2075-2180
2075-2180
DOI10.4204/EPTCS.352.6

Cover

More Information
ISSN:2075-2180
2075-2180
DOI:10.4204/EPTCS.352.6