Cargando…
A many-sorted calculus based on resolution and paramodulation /
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés Alemán |
| Publicado: |
London : Los Altos, Calif. :
Pitman ; Morgan Kaufmann Publishers,
1987.
|
| Colección: | Research notes in artificial intelligence (London, England)
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn574434431 | ||
| 003 | OCoLC | ||
| 005 | 20231117033010.0 | ||
| 006 | m o d | ||
| 007 | cr bn||||||abp | ||
| 007 | cr bn||||||ada | ||
| 008 | 100325s1987 enka ob 000 0 eng d | ||
| 040 | |a OCLCE |b eng |e pn |c OCLCE |d OCLCQ |d OCLCF |d OCLCO |d OCLCQ |d OPELS |d OCLCQ |d INARC |d OCLCO |d OCLCQ |d LUN |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 776606882 |a 974614441 |a 974664198 |a 1036606118 | ||
| 020 | |a 9780273087182 |q (electronic bk.) | ||
| 020 | |a 0273087185 |q (electronic bk.) | ||
| 020 | |z 0934613494 |q (Morgan Kaufmann ; |q pbk.) | ||
| 020 | |z 9780934613491 |q (Morgan Kaufmann ; |q pbk.) | ||
| 035 | |a (OCoLC)574434431 |z (OCoLC)776606882 |z (OCoLC)974614441 |z (OCoLC)974664198 |z (OCoLC)1036606118 | ||
| 041 | 1 | |a eng |h ger | |
| 042 | |a dlr | ||
| 050 | 4 | |a QA76.9.A96 |b W35 1987 | |
| 082 | 0 | 4 | |a 511.3/0285 |2 19 |
| 084 | |a 54.72 |2 bcl | ||
| 084 | |a *68T15 |2 msc | ||
| 084 | |a 03B10 |2 msc | ||
| 084 | |a 03B35 |2 msc | ||
| 084 | |a 68-02 |2 msc | ||
| 084 | |a SK 130 |2 rvk | ||
| 084 | |a ST 285 |2 rvk | ||
| 084 | |a DAT 706d |2 stub | ||
| 100 | 1 | |a Walther, Christoph. | |
| 245 | 1 | 2 | |a A many-sorted calculus based on resolution and paramodulation / |c Christoph Walther. |
| 260 | |a London : |b Pitman ; |a Los Altos, Calif. : |b Morgan Kaufmann Publishers, |c 1987. | ||
| 300 | |a 1 online resource (160 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 | ||
| 490 | 1 | |a Research notes in artificial intelligence, |x 0268-7526 | |
| 504 | |a Includes bibliographical references (pages 154-160). | ||
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Automatic theorem proving. | |
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 2 | |a Artificial Intelligence |0 (DNLM)D001185 | |
| 650 | 6 | |a Th�eor�emes |x D�emonstration automatique. |0 (CaQQLa)201-0031979 | |
| 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 Mehrsortige Pr�adikatenlogik |2 gnd |0 (DE-588)4169324-3 | |
| 650 | 7 | |a Automatisches Beweisverfahren |2 gnd |0 (DE-588)4069034-9 | |
| 650 | 7 | |a K�unstliche Intelligenz |2 gnd |0 (DE-588)4033447-8 | |
| 650 | 1 | 7 | |a Kunstmatige intelligentie. |2 gtt |
| 650 | 1 | 7 | |a Redeneren. |2 gtt |
| 650 | 1 | 7 | |a Bewijs (wetenschap) |2 gtt |
| 653 | |a Theorems |a Proof |a Applications of computer systems | ||
| 776 | 0 | 8 | |i Print version: |a Walther, Christoph. |t Many-sorted calculus based on resolution and paramodulation. |d London : Pitman ; Los Altos, Calif. : Morgan Kaufmann Publishers, 1987 |w (DLC) 87002815 |w (OCoLC)15591420 |
| 830 | 0 | |a Research notes in artificial intelligence (London, England) | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780273087182 |z Texto completo |