| Deduction using the ProofWeb system (2009) | |||||||||||||||
Abstract | |||||||||||||||
| This is the manual of the ProofWeb system that was implemented at the Radboud University Nijmegen and the Free University Amsterdam in the SURF education innovation project Web deduction for education in | |||||||||||||||
Details der Publikation | |||||||||||||||
| |||||||||||||||