First-order logic and automated theorem proving /
Guardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
New York :
Springer,
c1996.
|
| Edición: | 2nd ed. |
| Series: | Graduate texts in computer science
Graduate texts in computer science (Springer-Verlag New York Inc.) |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 01103cam a2200301 a 4500 | ||
|---|---|---|---|
| 001 | DCC.dcic000209 | ||
| 008 | 951023s1996####nyua#####b####001#0#eng## | ||
| 005 | 20151123145116.0 | ||
| 245 | 1 | 0 | |a First-order logic and automated theorem proving / |c Melvin Fitting. |
| 250 | |a 2nd ed. | ||
| 260 | |a New York : |b Springer, |c c1996. | ||
| 300 | |a xvi, 326 p. : |b il. ; |c 25 cm. | ||
| 440 | 0 | |a Graduate texts in computer science | |
| 504 | |a Includes bibliographical references (p. [315]-318) and index. | ||
| 020 | |a 0387945938 (New York : hardcover : alk. paper) | ||
| 100 | 1 | |a Fitting, Melvin, |d 1942- | |
| 830 | 0 | |a Graduate texts in computer science (Springer-Verlag New York Inc.) | |
| 082 | 0 | 0 | |a 511.3 |2 20 |
| 650 | 0 | |a Automatic theorem proving. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 010 | |a 95045225 | ||
| 040 | |a DLC |c DLC |d DLC | ||
| 050 | 0 | 0 | |a QA76.9.A96 |b F68 1996 |
| 859 | |a DCIC |b BIB. COMPUTACION |p 0350 |t 1 | ||
| 859 | |a DCIC |b BIB. COMPUTACION |p 0351 |t 2 | ||
| 859 | |a DCIC |b BIB. COMPUTACION |p 1706 |t 3 | ||
| 859 | |a DCIC |b BIB. COMPUTACION |p 0352 |t 4 | ||
| 859 | |a DCIC |b BIB. COMPUTACION |p 0353 |t 5 | ||