The Design and Use of Tools for Teaching Logic

J.S. Lodder

Department of Computer Science

Research output: Thesis › Doctoral Thesis › Thesis 1: fully internal

468 Downloads (Pure)

1 results

Finished
The design and use of tools for teaching logic
Lodder, J. (PI)
1/01/15 → 11/09/20
Project: PhD project