عنوان
پدید آورنده
موضوع
رده
Q 335 .A75
Q
335
.
A75
کتابخانه
محل استقرار
31803w
32676w
French
Arnold, Ander
Les mathematiques a la portee de l'ordinateur
Paris
Dunod
1970
ix, 157 p. : ill. ; 22 cm
Initiation aux nouveautes de la science, 22
Bibliography: p. 155-157
Pref de J. Kuntzmann
، Automatic theorem proving
، Logic, Symbolic and mathematical
، Programming languages )Electronic computers(
Q
335
.
A75
AU
TI
تموجود نیس
تموجود نیس
