Automated reasoning : introduction and applications /
Guardado en:
| Otros Autores: | |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Englewood Cliffs, N.J. :
Prentice-Hall,
c1984.
|
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| descripción de la copia: | Incluye referencias bibliográficas (471 - 475 p. ). |
|---|---|
| Descripción Física: | xiv, 482 p. : il. ; 24 cm. |
| Bibliografía: | Incluye índice. |
| ISBN: | 0130544531 0130544469 (pbk.) |