Login / Signup
Computer science undergraduates learning logic using a proof editor: work in progress.
James Aczel
Pat Fung
Richard Bornat
Martin Oliver
Tim O'Shea
Bernard Sufrin
Published in:
PPIG (1999)
Keyphrases
</>
computer science
learning process
computer programming
learning algorithm
automata theory
prior knowledge
online learning
reinforcement learning
logic programming
modal logic
linear logic