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 |
Browsing Biblioteca del Posgrado en Ingeniería Eléctrica shelves, Shelving location: General Close shelf browser (Hides shelf browser)
QA76 .9 .A43 C67 2013 Algorithms unlocked / | QA76.9.A43 M55 2005 Algorithms sequetial & Parallel : | QA76.9.A73 C46 2014 Professional CUDA C programming / | QA76.9.A96 A98 1992 Automated reasoning : | QA76.9.C643 S73 1993 Computer organization and architecture : principles of structure and function | QA76.9.C643 S73 1998 Organización y arquitectura de computadores : | QA76.9.C643 S73 2000 Organización y arquitectura de computadores |
Bibliografía : p. 639-642 e índice.
There are no comments on this title.
Log in to your account to post a comment.