View in EDS HTML Full Text PDF Full Text

On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students.

Saved in:
Bibliographic Details
Title: On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students.
Authors: Lund, Simon Tobias1 (AUTHOR), Villadsen, Jørgen1 (AUTHOR) jovi@dtu.dk
Source: Vietnam Journal of Computer Science (World Scientific). Nov2024, Vol. 11 Issue 4, p621-644. 24p.
Database: Environment Complete
Full text is not displayed to guests.
Description
ISSN:21968888
DOI:10.1142/S2196888824500064