Author

Profile picture
David Michel
L.I.T.A. University of Metz
Metz, France
1 article by this author
Sort by:
Pedagogical ...
Research Article
Pedagogical Natural Deduction Systems: the Propositional Case
Loïc Colson, David Michel
10.3217/jucs-013-10-1396
 28-10-2007
 Unique: 558 | Total: 698  | Access Period:
 1396-1410
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK