Automated reasoning : introduction and applications / Larry Wos ... [et al.].
Material type: TextPublication details: Englewood Cliffs, NJU. : Prentice-Hall, c1984Edition: 1a edDescription: xiv, 482 p. : il. ; 23 cmISBN:- 0130544531
- QA76.9.A96 A88 1984
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Libro | Biblioteca de la Facultad de Ingeniería Eléctrica General | QA76.9.A96 A88 1984 (Browse shelf(Opens below)) | C:1 | Available | BIE000001711 |
Incluy bibliografias e índice
There are no comments on this title.
Log in to your account to post a comment.