Cargando…
Handbook of automated reasoning /
Handbook of Automated Reasoning.
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York : Cambridge, Mass. :
Elsevier ; MIT Press,
�2001.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn162578801 | ||
| 003 | OCoLC | ||
| 005 | 20231117014951.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 070806s2001 ne a ob 001 0 eng d | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d OCLCG |d OCLCQ |d OCLCA |d AU@ |d OCLCO |d OCLCF |d E7B |d OCLCQ |d COO |d CASUM |d OCLCO |d OCLCA |d D6H |d CHVBK |d OCLCO |d OCLCA |d FEM |d LEAUB |d VT2 |d S2H |d OCLCO |d OCLCQ |d OCLCO |d OCL |d OCLCQ |d OCLCO | ||
| 019 | |a 647909529 |a 856960846 |a 968095209 |a 968994240 |a 1103274795 |a 1129364536 | ||
| 020 | |a 9780444508133 | ||
| 020 | |a 0444508139 | ||
| 020 | |a 0444829490 | ||
| 020 | |a 9780444829498 | ||
| 020 | |a 0444508120 | ||
| 020 | |a 9780444508126 | ||
| 020 | |a 9780080532790 |q (electronic bk.) | ||
| 020 | |a 0080532799 | ||
| 035 | |a (OCoLC)162578801 |z (OCoLC)647909529 |z (OCoLC)856960846 |z (OCoLC)968095209 |z (OCoLC)968994240 |z (OCoLC)1103274795 |z (OCoLC)1129364536 | ||
| 050 | 4 | |a QA76.9.A96 |b H35 2001eb | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 245 | 0 | 0 | |a Handbook of automated reasoning / |c editors, Alan Robinson and Andrei Voronkov. |
| 260 | |a Amsterdam ; |a New York : |b Elsevier ; |a Cambridge, Mass. : |b MIT Press, |c �2001. | ||
| 300 | |a 1 online resource (2 volumes (xxv, 2122 pages)) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file | ||
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a Handbook of Automated Reasoning. | ||
| 650 | 0 | |a Automatic theorem proving. | |
| 650 | 0 | |a Qualitative reasoning. | |
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 1 | 2 | |a Artificial Intelligence |0 (DNLM)D001185 |
| 650 | 6 | |a Th�eor�emes |x D�emonstration automatique. |0 (CaQQLa)201-0031979 | |
| 650 | 6 | |a Raisonnement qualitatif. |0 (CaQQLa)201-0298125 | |
| 650 | 6 | |a Intelligence artificielle. |0 (CaQQLa)201-0008626 | |
| 650 | 7 | |a artificial intelligence. |2 aat |0 (CStmoGRI)aat300251574 | |
| 650 | 7 | |a Artificial intelligence |2 fast |0 (OCoLC)fst00817247 | |
| 650 | 7 | |a Automatic theorem proving |2 fast |0 (OCoLC)fst00822777 | |
| 650 | 7 | |a Qualitative reasoning |2 fast |0 (OCoLC)fst01084939 | |
| 700 | 1 | |a Robinson, J. A. |q (John Alan) | |
| 700 | 1 | |a Voronkov, Andrei, |d 1959- | |
| 776 | 0 | 8 | |i Print version: |t Handbook of automated reasoning. |d Amsterdam ; New York : Elsevier ; Cambridge, Mass. : MIT Press, �2001 |z 0262182211 |z 9780262182218 |w (DLC) 2001090839 |w (OCoLC)46810804 |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444508133 |z Texto completo |