Knowledge based theorem proving and learning:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
Ann Arbor, Mich.
UMI Research Press
1981
|
| Series: | Computer science
Artificial intelligence ; 4 |
| Subjects: | |
| Physical Description: | 202 S. |
| ISBN: | 0835712028 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV002227645 | ||
| 003 | DE-604 | ||
| 005 | 20221205 | ||
| 007 | t | ||
| 008 | 890928s1981 m||| 00||| eng d | ||
| 020 | |a 0835712028 |9 0-8357-1202-8 | ||
| 035 | |a (OCoLC)7554662 | ||
| 035 | |a (DE-599)BVBBV002227645 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-739 |a DE-824 |a DE-188 | ||
| 050 | 0 | |a QA76.9.A96 | |
| 082 | 0 | |a 511.3 |2 19 | |
| 084 | |a ES 900 |0 (DE-625)27926: |2 rvk | ||
| 084 | |a ST 510 |0 (DE-625)143676: |2 rvk | ||
| 100 | 1 | |a Cohen, Donald N. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Knowledge based theorem proving and learning |c by Donald N. Cohen |
| 264 | 1 | |a Ann Arbor, Mich. |b UMI Research Press |c 1981 | |
| 300 | |a 202 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Computer science : Artificial intelligence |v 4 | |
| 502 | |a Zugl.: Carnegie, Univ., Diss., 1980 | ||
| 650 | 7 | |a Dataprocessing |2 gtt | |
| 650 | 7 | |a Kennistheorie |2 gtt | |
| 650 | 7 | |a Leren |2 gtt | |
| 650 | 7 | |a apprentissage |2 inriac | |
| 650 | 7 | |a cognition |2 inriac | |
| 650 | 7 | |a démonstration théorème |2 inriac | |
| 650 | 7 | |a psychologie apprentissage |2 inriac | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Erkenntnistheorie | |
| 650 | 4 | |a Automatic theorem proving | |
| 650 | 4 | |a Knowledge, Theory of |x Data processing | |
| 650 | 4 | |a Learning, Psychology of |x Data processing | |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 830 | 0 | |a Computer science |v Artificial intelligence ; 4 |w (DE-604)BV000012305 |9 4 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001463907 | ||
| 980 | 4 | |a (DE-12)AK04290523 | |
Record in the Search Index
| _version_ | 1804116682777559040 |
|---|---|
| any_adam_object | |
| author | Cohen, Donald N. |
| author_facet | Cohen, Donald N. |
| author_role | aut |
| author_sort | Cohen, Donald N. |
| author_variant | d n c dn dnc |
| building | Verbundindex |
| bvnumber | BV002227645 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.A96 |
| callnumber-search | QA76.9.A96 |
| callnumber-sort | QA 276.9 A96 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ES 900 ST 510 |
| ctrlnum | (OCoLC)7554662 (DE-599)BVBBV002227645 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Sprachwissenschaft Informatik Mathematik Literaturwissenschaft |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01675nam a2200505 cb4500</leader><controlfield tag="001">BV002227645</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20221205 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1981 m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0835712028</subfield><subfield code="9">0-8357-1202-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)7554662</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002227645</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.A96</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ES 900</subfield><subfield code="0">(DE-625)27926:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 510</subfield><subfield code="0">(DE-625)143676:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Cohen, Donald N.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Knowledge based theorem proving and learning</subfield><subfield code="c">by Donald N. Cohen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Ann Arbor, Mich.</subfield><subfield code="b">UMI Research Press</subfield><subfield code="c">1981</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">202 S.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Computer science : Artificial intelligence</subfield><subfield code="v">4</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Carnegie, Univ., Diss., 1980</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Dataprocessing</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kennistheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Leren</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">apprentissage</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">cognition</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">démonstration théorème</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">psychologie apprentissage</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Erkenntnistheorie</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">Knowledge, Theory of</subfield><subfield code="x">Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Learning, Psychology of</subfield><subfield code="x">Data processing</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Computer science</subfield><subfield code="v">Artificial intelligence ; 4</subfield><subfield code="w">(DE-604)BV000012305</subfield><subfield code="9">4</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001463907</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK04290523</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV002227645 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:42:24Z |
| institution | BVB |
| isbn | 0835712028 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001463907 |
| oclc_num | 7554662 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-739 DE-824 DE-188 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-739 DE-824 DE-188 |
| physical | 202 S. |
| publishDate | 1981 |
| publishDateSearch | 1981 |
| publishDateSort | 1981 |
| publisher | UMI Research Press |
| record_format | marc |
| series | Computer science |
| series2 | Computer science : Artificial intelligence |
| spelling | Cohen, Donald N. Verfasser aut Knowledge based theorem proving and learning by Donald N. Cohen Ann Arbor, Mich. UMI Research Press 1981 202 S. txt rdacontent n rdamedia nc rdacarrier Computer science : Artificial intelligence 4 Zugl.: Carnegie, Univ., Diss., 1980 Dataprocessing gtt Kennistheorie gtt Leren gtt apprentissage inriac cognition inriac démonstration théorème inriac psychologie apprentissage inriac Datenverarbeitung Erkenntnistheorie Automatic theorem proving Knowledge, Theory of Data processing Learning, Psychology of Data processing (DE-588)4113937-9 Hochschulschrift gnd-content Computer science Artificial intelligence ; 4 (DE-604)BV000012305 4 |
| spellingShingle | Cohen, Donald N. Knowledge based theorem proving and learning Computer science Dataprocessing gtt Kennistheorie gtt Leren gtt apprentissage inriac cognition inriac démonstration théorème inriac psychologie apprentissage inriac Datenverarbeitung Erkenntnistheorie Automatic theorem proving Knowledge, Theory of Data processing Learning, Psychology of Data processing |
| subject_GND | (DE-588)4113937-9 |
| title | Knowledge based theorem proving and learning |
| title_auth | Knowledge based theorem proving and learning |
| title_exact_search | Knowledge based theorem proving and learning |
| title_full | Knowledge based theorem proving and learning by Donald N. Cohen |
| title_fullStr | Knowledge based theorem proving and learning by Donald N. Cohen |
| title_full_unstemmed | Knowledge based theorem proving and learning by Donald N. Cohen |
| title_short | Knowledge based theorem proving and learning |
| title_sort | knowledge based theorem proving and learning |
| topic | Dataprocessing gtt Kennistheorie gtt Leren gtt apprentissage inriac cognition inriac démonstration théorème inriac psychologie apprentissage inriac Datenverarbeitung Erkenntnistheorie Automatic theorem proving Knowledge, Theory of Data processing Learning, Psychology of Data processing |
| topic_facet | Dataprocessing Kennistheorie Leren apprentissage cognition démonstration théorème psychologie apprentissage Datenverarbeitung Erkenntnistheorie Automatic theorem proving Knowledge, Theory of Data processing Learning, Psychology of Data processing Hochschulschrift |
| volume_link | (DE-604)BV000012305 |
| work_keys_str_mv | AT cohendonaldn knowledgebasedtheoremprovingandlearning |