mathématiques à la portée de l'ordinateur.
By: Préf. de J. Kuntzmann.
Series: Initiation aux nouveautés de la science -- 22.
Publisher: Dunod
Published: 1970
Place of publication: Paris
Language: fre
Number of pages: 157
Subjects: Automatic theorem proving.; Logic, Symbolic and mathematical.; Programming languages (Electronic computers)
Notes: Bibliography: p. [155]-157.