Deduction systems / Rolf Socher-Ambrosius, Patricia Johann
Publication: New York : Springer, 1997Description: XII, 206 p. : il. ; 25 cmISBN: 0-387-94847-3.Series: Graduate Texts in Computer Science / David Gries, Ferd B. SchneiderSubject - Topical Name: Inteligência artificial | Funções de uma variável | Teoremas| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Livro | Biblioteca do ISEL | SOC. 681.5(007) (Browse shelf) | Available | 1010896 |
Total holds: 0
There are no comments for this item.