Natural Deduction Assistant (NaDeA)

Villadsen, J; From, AH; Schlichtkrull, A

Villadsen, J (reprint author), Tech Univ Denmark, DTU Compute Dept Appl Math & Comp Sci, Bldg 324, DK-2800 Lyngby, Denmark.

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019; (290): 14

Abstract

We present the Natural Deduction Assistant (NaDeA) and discuss its advantages and disadvantages as a tool for teaching logic. NaDeA is available onlin......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索