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

N.G. Bruijn, de

Research output: Book/ReportReportPopular

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

Bibliographical note

Notitie 1969/18

Cite this