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 | TeoremasItem 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
Browsing Biblioteca do ISEL Shelves , Shelving location: Biblioteca do ISEL Close shelf browser
SOB. 621(043) Desafios para a manutenção na perspetiva da indústria 4.0 | SOC. 539.4 Multiaxial Fatigue | SOC. 621.38 Analog integrated circuits | SOC. 681.5(007) Deduction systems | SOC. 699.8 Les désordres dans le bâtiment | SOD. 681.5 Discrete-time stochastic systems | SOE. 624(043) Mestrado em construção de edifícios |
There are no comments for this item.