The automation of reasoning : an experimenter's notebook with OTTER tutorial /
Guardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
San Diego :
Academic Press,
c1996.
|
| Materias: | |
| Acceso en línea: | Publisher description Table of contents |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| descripción de la copia: | Incluye índice. |
|---|---|
| Descripción Física: | xiv, 434 p. ; 24 cm. |
| Formato: | System requirements for accompanying computer disk: IBM 386 or higher (or compatible PC) with minimum of 320K free memory. |
| Bibliografía: | Incluye referencias bibliográficas (p. 419-421). |
| ISBN: | 0127634207 (alk. paper) |