Publication View

Towards an interactive Mathematical Proof Language (2003)

Publication details

Publisher	Kluwer
Repository	Repository Radboud Universiteit Nijmegen (Netherlands)
Type	Part of book or chapter of book
Language	Englisch