Generation and presentation of formal mathematical documents
By: Martijn Oostdijk
Contributors: Technische Universiteit Eindhoven
Published: 2001
Language: eng
Number of pages: 144
Notes: Thesis (doctoral)--Technische Universiteit Eindhoven, 2001.