Publication View

Towards an interactive mathematical proof mode (2003)

Publication details

Publisher	Kluwer Acad. Publ.
Repository	Repository Radboud Universiteit Nijmegen (Netherlands)
Type	Article in monograph or in proceedings
Language	Englisch