Automated reasoning : introduction and applications / Larry Wos...[et.al.]
Tipo de material: TextoDetalles de publicación: Englewood Cliffs, New Jersey : Prentice-Hall, 1984Descripción: 482 p. ; 24 cmISBN:- 0130544469
Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Monografías | Biblioteca Intermedia | 23104 (Navegar estantería(Abre debajo)) | ej.1 | Disponible | Colección Frischknecht. | Si desea solicitar este libro en Biblioteca Central envíe un e-mail aclarando título, autor y signatura a: uds-bibl@usal.edu.ar | 500030481 |
Incluye bibliografía.