Sur la demonstration automatique /
Guardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | French |
| Publicado: |
[Paris?] :
Centre National de la Recherche Scientifique : Institut Blaise Pascal, Laboratoire de calcul numérique,
1963.
|
| Series: | Logique a l'usage du calculateur ;
4 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|