Symbolic logic and mechanical theorem proving / Chin-liang Chang, Richard Char-Tung Lee.
Series Computer science and applied mathematicsEditor: New York : Academic Press, c1973Descripción: xiii, 331 p. : il. ; 24 cmISBN: 0121703509Tema(s): Logic, Symbolic and mathematical | Automatic theorem proving | Artificial intelligenceOtra clasificación: 03B35 (68T15)Item type | Home library | Shelving location | Call number | Materials specified | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
Libros | Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 C4565 (Browse shelf) | Available | A-3731 | |||
Libros | Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 C4565 (Browse shelf) | Ej. 2 | Available | A-5747 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 C376 Transfini et continu / | 03 C456 Continuous model theory / | 03 C4565 Symbolic logic and mechanical theorem proving / | 03 C4565 Symbolic logic and mechanical theorem proving / | 03 C456m Model theory / | 03 C561 The calculi of lambda-conversion / | 03 C561i Introduction to mathematical logic. |
Bibliografía: p. 309-324.
MR, 55 #13894
There are no comments on this title.