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

  • N.G. Bruijn, de

Research output: Book/Report › Report › Popular

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

Bibliographical note

Notitie 1969/18

Access to Document

  • 597869Final published version, 331 KB

    Cite this