Automated reasoning : introduction and applications / Larry Wos...[et al.].
Material type: TextPublication details: New York : McGraw-Hill, 1992.Edition: 2a edDescription: xvi, 656 p. : il. ; 25 cmISBN:- 007911251X
- QA76.9.A96 A98 1992
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Libro | Biblioteca del Posgrado en Ingeniería Eléctrica General | QA76.9.A96 A98 1992 (Browse shelf(Opens below)) | 1 | Available | PBIE000000460 |
Bibliografía : p. 639-642 e índice.
There are no comments on this title.
Log in to your account to post a comment.