Login / Signup

Novel Didactic Proof Assistant for First-Order Logic Natural Deduction.

Jorge PaisAlvaro Tasistro
Published in: HCI (14) (2014)
Keyphrases