A translator for AUTOMATH and its implementation in PASCAL

  • W.C.P. Braun

Student thesis: Master

Abstract

Date of Award29 Feb 1984
Original languageEnglish
SupervisorN.G. (Dick) de Bruijn (Supervisor 1), L.S. Benthem Jutting, van (Supervisor 2) & C. (Kees) Hemerik (Supervisor 2)

Cite this

'