Automated practical reasoning: algebraic approaches
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Wien u.a.
Springer
1995
|
| Schriftenreihe: | Texts and monographs in symbolic computation
|
| Schlagworte: | |
| Beschreibung: | XI, 223 S. Ill., graph. Darst. |
| ISBN: | 3211826009 0387826009 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010520507 | ||
| 003 | DE-604 | ||
| 005 | 19960219 | ||
| 007 | t | ||
| 008 | 951212s1995 ad|| |||| 00||| eng d | ||
| 020 | |a 3211826009 |9 3-211-82600-9 | ||
| 020 | |a 0387826009 |9 0-387-82600-9 | ||
| 035 | |a (OCoLC)31865671 | ||
| 035 | |a (DE-599)BVBBV010520507 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G |a DE-83 | ||
| 050 | 0 | |a QA76.9.A96 | |
| 082 | 0 | |a 005.13/1 |2 20 | |
| 084 | |a ST 285 |0 (DE-625)143648: |2 rvk | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Automated practical reasoning |b algebraic approaches |c Jochen Pfalzgraf ... (eds.) |
| 264 | 1 | |a Wien u.a. |b Springer |c 1995 | |
| 300 | |a XI, 223 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Texts and monographs in symbolic computation | |
| 650 | 7 | |a MAPLE |2 inriac | |
| 650 | 7 | |a Teoria da computacao |2 larpcal | |
| 650 | 7 | |a Théorèmes - Démonstration automatique |2 ram | |
| 650 | 7 | |a calcul formel |2 inriac | |
| 650 | 7 | |a démonstration théorème |2 inriac | |
| 650 | 7 | |a géométrie algébrique |2 inriac | |
| 650 | 7 | |a logique non monotone |2 inriac | |
| 650 | 7 | |a modélisation |2 inriac | |
| 650 | 7 | |a raisonnement automatique |2 inriac | |
| 650 | 7 | |a robotique |2 inriac | |
| 650 | 4 | |a Automatic theorem proving | |
| 650 | 4 | |a Practical reason | |
| 650 | 4 | |a Reasoning | |
| 700 | 1 | |a Pfalzgraf, Jochen |e Sonstige |4 oth | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007013382 | ||
Datensatz im Suchindex
| _version_ | 1804124989162520576 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV010520507 |
| 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 | ST 285 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)31865671 (DE-599)BVBBV010520507 |
| dewey-full | 005.13/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/1 |
| dewey-search | 005.13/1 |
| dewey-sort | 15.13 11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01528nam a2200481 c 4500</leader><controlfield tag="001">BV010520507</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19960219 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951212s1995 ad|| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3211826009</subfield><subfield code="9">3-211-82600-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387826009</subfield><subfield code="9">0-387-82600-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31865671</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010520507</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-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</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">005.13/1</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 285</subfield><subfield code="0">(DE-625)143648:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automated practical reasoning</subfield><subfield code="b">algebraic approaches</subfield><subfield code="c">Jochen Pfalzgraf ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wien u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 223 S.</subfield><subfield code="b">Ill., graph. Darst.</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="0" ind2=" "><subfield code="a">Texts and monographs in symbolic computation</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MAPLE</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Teoria da computacao</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Théorèmes - Démonstration automatique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calcul formel</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">géométrie algébrique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique non monotone</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">modélisation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement automatique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">robotique</subfield><subfield code="2">inriac</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">Practical reason</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reasoning</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pfalzgraf, Jochen</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007013382</subfield></datafield></record></collection> |
| id | DE-604.BV010520507 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:54:25Z |
| institution | BVB |
| isbn | 3211826009 0387826009 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007013382 |
| oclc_num | 31865671 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-83 |
| physical | XI, 223 S. Ill., graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Springer |
| record_format | marc |
| series2 | Texts and monographs in symbolic computation |
| spelling | Automated practical reasoning algebraic approaches Jochen Pfalzgraf ... (eds.) Wien u.a. Springer 1995 XI, 223 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Texts and monographs in symbolic computation MAPLE inriac Teoria da computacao larpcal Théorèmes - Démonstration automatique ram calcul formel inriac démonstration théorème inriac géométrie algébrique inriac logique non monotone inriac modélisation inriac raisonnement automatique inriac robotique inriac Automatic theorem proving Practical reason Reasoning Pfalzgraf, Jochen Sonstige oth |
| spellingShingle | Automated practical reasoning algebraic approaches MAPLE inriac Teoria da computacao larpcal Théorèmes - Démonstration automatique ram calcul formel inriac démonstration théorème inriac géométrie algébrique inriac logique non monotone inriac modélisation inriac raisonnement automatique inriac robotique inriac Automatic theorem proving Practical reason Reasoning |
| title | Automated practical reasoning algebraic approaches |
| title_auth | Automated practical reasoning algebraic approaches |
| title_exact_search | Automated practical reasoning algebraic approaches |
| title_full | Automated practical reasoning algebraic approaches Jochen Pfalzgraf ... (eds.) |
| title_fullStr | Automated practical reasoning algebraic approaches Jochen Pfalzgraf ... (eds.) |
| title_full_unstemmed | Automated practical reasoning algebraic approaches Jochen Pfalzgraf ... (eds.) |
| title_short | Automated practical reasoning |
| title_sort | automated practical reasoning algebraic approaches |
| title_sub | algebraic approaches |
| topic | MAPLE inriac Teoria da computacao larpcal Théorèmes - Démonstration automatique ram calcul formel inriac démonstration théorème inriac géométrie algébrique inriac logique non monotone inriac modélisation inriac raisonnement automatique inriac robotique inriac Automatic theorem proving Practical reason Reasoning |
| topic_facet | MAPLE Teoria da computacao Théorèmes - Démonstration automatique calcul formel démonstration théorème géométrie algébrique logique non monotone modélisation raisonnement automatique robotique Automatic theorem proving Practical reason Reasoning |
| work_keys_str_mv | AT pfalzgrafjochen automatedpracticalreasoningalgebraicapproaches |