Monographie
Un programme de démonstration de théorèmes
Zone de rangement : Général
Pays d'édition : France
Ville d'édition : Paris
Langue : français
Format : 24 cm
Illustrations : Fig.
Collection : Monographies d'informatique
N° de collection : 007
Bibliographie : Bibliogr. p. 119-120
Collectivité : AFCET
Exemplaires
Nbre d'exemplaires : 1| N° | Cote / Code barre | Localisation | Commentaire | |
|---|---|---|---|---|
| 1 | PIT 01 A 100873 | [disponible] | YRéserver |