Sur la demonstration automatique / par Claude Picard.
Series Logique a l'usage du calculateur ; 4Editor: [Paris?] : Centre National de la Recherche Scientifique : Institut Blaise Pascal, Laboratoire de calcul numérique, 1963Descripción: 30 p. ; 27 cmOtra clasificación: 03B35| Item type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Libros
|
Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 P586 (Browse shelf) | Available | A-987 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
| 03 N943i Elements of mathematical logic / | 03 P478 Rekursive Funktionen / | 03 P478e-3 Recursive functions / | 03 P586 Sur la demonstration automatique / | 03 P746 Elements of the theory of completeness in propositional logic / | 03 P758 Cours de théorie des modèles : | 03 P768 Polish logic : |
Bibliografía: p. 29-30.
Click on an image to view it in the image viewer
There are no comments on this title.