Vérification des textes mathématiques par un ordinateur: conférence à Lille, le 21 novembre 1969

N.G. Bruijn, de

Research output: Book/ReportReportPopular

34 Downloads (Pure)
Original languageFrench
Place of PublicationEindhoven
PublisherTechnische Hogeschool Eindhoven
Number of pages11
Publication statusPublished - 1969

Bibliographical note

Notitie 1969/18

Cite this

Bruijn, de, N. G. (1969). Vérification des textes mathématiques par un ordinateur: conférence à Lille, le 21 novembre 1969. Eindhoven: Technische Hogeschool Eindhoven.