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!
|
| LEADER | 01160cam a2200289 a 4500 | ||
|---|---|---|---|
| 001 | DCC.dcic000747 | ||
| 008 | 960130s1996####cau######b####001#0#eng## | ||
| 005 | 20151124151506.0 | ||
| 245 | 1 | 4 | |a The automation of reasoning : |b an experimenter's notebook with OTTER tutorial / |c Larry Wos. |
| 260 | |a San Diego : |b Academic Press, |c c1996. | ||
| 300 | |a xiv, 434 p. ; |c 24 cm. | ||
| 500 | |a Incluye índice. | ||
| 538 | |a System requirements for accompanying computer disk: IBM 386 or higher (or compatible PC) with minimum of 320K free memory. | ||
| 504 | |a Incluye referencias bibliográficas (p. 419-421). | ||
| 020 | |a 0127634207 (alk. paper) | ||
| 100 | 1 | |a Wos, Larry. | |
| 082 | 0 | 0 | |a 511.3/0285/53 |2 20 |
| 650 | 0 | |a Automatic theorem proving. | |
| 630 | 0 | 0 | |a Otter (Computer file) |
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 0 | |a Computer programming. | |
| 010 | |a 96003349 | ||
| 040 | |a DLC |c DLC |d DLC | ||
| 050 | 0 | 0 | |a QA76.9.A96 |b A945 1996 |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/description/els032/96003349.html |
| 856 | 4 | 1 | |3 Table of contents |u http://www.loc.gov/catdir/toc/els032/96003349.html |
| 859 | |a DCIC |b BIB. COMPUTACION |p 1099 | ||