A framework for the description of a number of members of the AUTOMATH family

N.G. Bruijn, de

Research output: Book/ReportReportPopular

27 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Hogeschool Eindhoven
Number of pages11
Publication statusPublished - 1974

Publication series

NameEindhoven University of Technology : Dept of Mathematics : memorandum
Volume7408

Cite this

Bruijn, de, N. G. (1974). A framework for the description of a number of members of the AUTOMATH family. (Eindhoven University of Technology : Dept of Mathematics : memorandum; Vol. 7408). Eindhoven: Technische Hogeschool Eindhoven.
Bruijn, de, N.G. / A framework for the description of a number of members of the AUTOMATH family. Eindhoven : Technische Hogeschool Eindhoven, 1974. 11 p. (Eindhoven University of Technology : Dept of Mathematics : memorandum).
@book{7310537a6d634f03b59164aca8f9aa3e,
title = "A framework for the description of a number of members of the AUTOMATH family",
author = "{Bruijn, de}, N.G.",
year = "1974",
language = "English",
series = "Eindhoven University of Technology : Dept of Mathematics : memorandum",
publisher = "Technische Hogeschool Eindhoven",

}

Bruijn, de, NG 1974, A framework for the description of a number of members of the AUTOMATH family. Eindhoven University of Technology : Dept of Mathematics : memorandum, vol. 7408, Technische Hogeschool Eindhoven, Eindhoven.

A framework for the description of a number of members of the AUTOMATH family. / Bruijn, de, N.G.

Eindhoven : Technische Hogeschool Eindhoven, 1974. 11 p. (Eindhoven University of Technology : Dept of Mathematics : memorandum; Vol. 7408).

Research output: Book/ReportReportPopular

TY - BOOK

T1 - A framework for the description of a number of members of the AUTOMATH family

AU - Bruijn, de, N.G.

PY - 1974

Y1 - 1974

M3 - Report

T3 - Eindhoven University of Technology : Dept of Mathematics : memorandum

BT - A framework for the description of a number of members of the AUTOMATH family

PB - Technische Hogeschool Eindhoven

CY - Eindhoven

ER -

Bruijn, de NG. A framework for the description of a number of members of the AUTOMATH family. Eindhoven: Technische Hogeschool Eindhoven, 1974. 11 p. (Eindhoven University of Technology : Dept of Mathematics : memorandum).