A many-sorted calculus based on resolution and paramodulation:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
London
Pitman
1987
|
| Series: | Research notes in artificial intelligence (London, England)
|
| Subjects: | |
| Online Access: | FAW01 Volltext |
| Item Description: | Revised translation of thesis (doctoral)--University of Karlsruhe, 1984 Includes bibliographical references (pages 154-160) |
| Physical Description: | 160 pages |
| ISBN: | 9780273087182 0273087185 0934613494 9780934613491 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044379848 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170630s1987 |||| o||u| ||||||eng d | ||
| 020 | |a 9780273087182 |9 978-0-273-08718-2 | ||
| 020 | |a 0273087185 |9 0-273-08718-5 | ||
| 020 | |a 0934613494 |c Morgan Kaufmann : pbk. |9 0-934613-49-4 | ||
| 020 | |a 9780934613491 |c Morgan Kaufmann : pbk. |9 978-0-934613-49-1 | ||
| 035 | |a (ZDB-33-ESD)ocn574434431 | ||
| 035 | |a (OCoLC)574434431 | ||
| 035 | |a (DE-599)BVBBV044379848 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 511.3/0285 |2 19eng | |
| 100 | 1 | |a Walther, Christoph |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A many-sorted calculus based on resolution and paramodulation |c Christoph Walther |
| 264 | 1 | |a London |b Pitman |c 1987 | |
| 300 | |a 160 pages | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Research notes in artificial intelligence (London, England) | |
| 500 | |a Revised translation of thesis (doctoral)--University of Karlsruhe, 1984 | ||
| 500 | |a Includes bibliographical references (pages 154-160) | ||
| 650 | 4 | |a Théorèmes / Démonstration automatique | |
| 650 | 4 | |a Intelligence artificielle | |
| 650 | 7 | |a Artificial intelligence |2 fast | |
| 650 | 7 | |a Automatic theorem proving |2 fast | |
| 650 | 7 | |a Kunstmatige intelligentie |2 gtt | |
| 650 | 7 | |a Redeneren |2 gtt | |
| 650 | 7 | |a Bewijs (wetenschap) |2 gtt | |
| 650 | 7 | |a Mehrsortige Prädikatenlogik |2 swd | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Automatic theorem proving | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mehrsortige Prädikatenlogik |0 (DE-588)4169324-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Mehrsortige Prädikatenlogik |0 (DE-588)4169324-3 |D s |
| 689 | 0 | 1 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 689 | 1 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 1 | |8 3\p |5 DE-604 | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780273087182 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-33-ESD | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029782070 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780273087182 |l FAW01 |p ZDB-33-ESD |q FAW_PDA_ESD |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804177641739124736 |
|---|---|
| any_adam_object | |
| author | Walther, Christoph |
| author_facet | Walther, Christoph |
| author_role | aut |
| author_sort | Walther, Christoph |
| author_variant | c w cw |
| building | Verbundindex |
| bvnumber | BV044379848 |
| collection | ZDB-33-ESD |
| ctrlnum | (ZDB-33-ESD)ocn574434431 (OCoLC)574434431 (DE-599)BVBBV044379848 |
| dewey-full | 511.3/0285 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/0285 |
| dewey-search | 511.3/0285 |
| dewey-sort | 3511.3 3285 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02792nmm a2200661zc 4500</leader><controlfield tag="001">BV044379848</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170630s1987 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780273087182</subfield><subfield code="9">978-0-273-08718-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0273087185</subfield><subfield code="9">0-273-08718-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0934613494</subfield><subfield code="c">Morgan Kaufmann : pbk.</subfield><subfield code="9">0-934613-49-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780934613491</subfield><subfield code="c">Morgan Kaufmann : pbk.</subfield><subfield code="9">978-0-934613-49-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-ESD)ocn574434431</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)574434431</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044379848</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/0285</subfield><subfield code="2">19eng</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Walther, Christoph</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A many-sorted calculus based on resolution and paramodulation</subfield><subfield code="c">Christoph Walther</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Pitman</subfield><subfield code="c">1987</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">160 pages</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Research notes in artificial intelligence (London, England)</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Revised translation of thesis (doctoral)--University of Karlsruhe, 1984</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 154-160)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Théorèmes / Démonstration automatique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intelligence artificielle</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Artificial intelligence</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Automatic theorem proving</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kunstmatige intelligentie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Redeneren</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Bewijs (wetenschap)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mehrsortige Prädikatenlogik</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic theorem proving</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mehrsortige Prädikatenlogik</subfield><subfield code="0">(DE-588)4169324-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mehrsortige Prädikatenlogik</subfield><subfield code="0">(DE-588)4169324-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780273087182</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029782070</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780273087182</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FAW_PDA_ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV044379848 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:51:19Z |
| institution | BVB |
| isbn | 9780273087182 0273087185 0934613494 9780934613491 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029782070 |
| oclc_num | 574434431 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | 160 pages |
| psigel | ZDB-33-ESD ZDB-33-ESD FAW_PDA_ESD |
| publishDate | 1987 |
| publishDateSearch | 1987 |
| publishDateSort | 1987 |
| publisher | Pitman |
| record_format | marc |
| series2 | Research notes in artificial intelligence (London, England) |
| spelling | Walther, Christoph Verfasser aut A many-sorted calculus based on resolution and paramodulation Christoph Walther London Pitman 1987 160 pages txt rdacontent c rdamedia cr rdacarrier Research notes in artificial intelligence (London, England) Revised translation of thesis (doctoral)--University of Karlsruhe, 1984 Includes bibliographical references (pages 154-160) Théorèmes / Démonstration automatique Intelligence artificielle Artificial intelligence fast Automatic theorem proving fast Kunstmatige intelligentie gtt Redeneren gtt Bewijs (wetenschap) gtt Mehrsortige Prädikatenlogik swd Künstliche Intelligenz Automatic theorem proving Artificial intelligence Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Mehrsortige Prädikatenlogik (DE-588)4169324-3 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Mehrsortige Prädikatenlogik (DE-588)4169324-3 s Automatisches Beweisverfahren (DE-588)4069034-9 s 2\p DE-604 Künstliche Intelligenz (DE-588)4033447-8 s 3\p DE-604 http://www.sciencedirect.com/science/book/9780273087182 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Walther, Christoph A many-sorted calculus based on resolution and paramodulation Théorèmes / Démonstration automatique Intelligence artificielle Artificial intelligence fast Automatic theorem proving fast Kunstmatige intelligentie gtt Redeneren gtt Bewijs (wetenschap) gtt Mehrsortige Prädikatenlogik swd Künstliche Intelligenz Automatic theorem proving Artificial intelligence Automatisches Beweisverfahren (DE-588)4069034-9 gnd Mehrsortige Prädikatenlogik (DE-588)4169324-3 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| subject_GND | (DE-588)4069034-9 (DE-588)4169324-3 (DE-588)4033447-8 (DE-588)4113937-9 |
| title | A many-sorted calculus based on resolution and paramodulation |
| title_auth | A many-sorted calculus based on resolution and paramodulation |
| title_exact_search | A many-sorted calculus based on resolution and paramodulation |
| title_full | A many-sorted calculus based on resolution and paramodulation Christoph Walther |
| title_fullStr | A many-sorted calculus based on resolution and paramodulation Christoph Walther |
| title_full_unstemmed | A many-sorted calculus based on resolution and paramodulation Christoph Walther |
| title_short | A many-sorted calculus based on resolution and paramodulation |
| title_sort | a many sorted calculus based on resolution and paramodulation |
| topic | Théorèmes / Démonstration automatique Intelligence artificielle Artificial intelligence fast Automatic theorem proving fast Kunstmatige intelligentie gtt Redeneren gtt Bewijs (wetenschap) gtt Mehrsortige Prädikatenlogik swd Künstliche Intelligenz Automatic theorem proving Artificial intelligence Automatisches Beweisverfahren (DE-588)4069034-9 gnd Mehrsortige Prädikatenlogik (DE-588)4169324-3 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| topic_facet | Théorèmes / Démonstration automatique Intelligence artificielle Artificial intelligence Automatic theorem proving Kunstmatige intelligentie Redeneren Bewijs (wetenschap) Mehrsortige Prädikatenlogik Künstliche Intelligenz Automatisches Beweisverfahren Hochschulschrift |
| url | http://www.sciencedirect.com/science/book/9780273087182 |
| work_keys_str_mv | AT waltherchristoph amanysortedcalculusbasedonresolutionandparamodulation |