Challenges for action theories:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2000
|
| Schriftenreihe: | Lecture notes in computer science
1775 : Lecture notes in artificial intelligence |
| Schlagwörter: | |
| Umfang: | XIV, 138 S. |
| ISBN: | 3540674551 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013116980 | ||
| 003 | DE-604 | ||
| 005 | 20010111 | ||
| 007 | t| | ||
| 008 | 000411s2000 gw |||| 00||| eng d | ||
| 016 | 7 | |a 958770549 |2 DE-101 | |
| 020 | |a 3540674551 |c kart. : DM 66.00 |9 3-540-67455-1 | ||
| 035 | |a (OCoLC)43894238 | ||
| 035 | |a (DE-599)BVBBV013116980 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-739 |a DE-384 |a DE-706 |a DE-634 |a DE-83 | ||
| 050 | 0 | |a QA76.9.L63 | |
| 082 | 0 | |a 004.2/1 |2 21 | |
| 084 | |a DAT 716f |2 stub | ||
| 100 | 1 | |a Thielscher, Michael |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Challenges for action theories |c Michael Thielscher |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 2000 | |
| 300 | |a XIV, 138 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1775 : Lecture notes in artificial intelligence | |
| 650 | 7 | |a Inteligencia artificial (computacao) |2 larpcal | |
| 650 | 7 | |a Kunstmatige intelligentie |2 gtt | |
| 650 | 7 | |a Logica matematica |2 larpcal | |
| 650 | 4 | |a Logique informatique | |
| 650 | 7 | |a Logique informatique |2 ram | |
| 650 | 4 | |a Méthodes formelles (Informatique) | |
| 650 | 4 | |a Systèmes, Conception de | |
| 650 | 7 | |a Systèmes, Conception de |2 ram | |
| 650 | 7 | |a logique formelle |2 inriac | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a ramification |2 inriac | |
| 650 | 7 | |a robotique |2 inriac | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Formal methods (Computer science) | |
| 650 | 4 | |a System design | |
| 650 | 0 | 7 | |a Automatische Handlungsplanung |0 (DE-588)4211191-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Handlungslogik |0 (DE-588)4140940-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Handlungslogik |0 (DE-588)4140940-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Automatische Handlungsplanung |0 (DE-588)4211191-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 830 | 0 | |a Lecture notes in computer science |v 1775 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 1775 : Lecture | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008936898 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 001z 2001 A 999-1775 |
|---|---|
| DE-BY-TUM_katkey | 1134606 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010541627 |
| _version_ | 1821934458181255168 |
| adam_text | |
| any_adam_object | |
| author | Thielscher, Michael |
| author_facet | Thielscher, Michael |
| author_role | aut |
| author_sort | Thielscher, Michael |
| author_variant | m t mt |
| building | Verbundindex |
| bvnumber | BV013116980 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.L63 |
| callnumber-search | QA76.9.L63 |
| callnumber-sort | QA 276.9 L63 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 716f |
| ctrlnum | (OCoLC)43894238 (DE-599)BVBBV013116980 |
| dewey-full | 004.2/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.2/1 |
| dewey-search | 004.2/1 |
| dewey-sort | 14.2 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>00000nam a22000008cb4500</leader><controlfield tag="001">BV013116980</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010111</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">000411s2000 gw |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">958770549</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540674551</subfield><subfield code="c">kart. : DM 66.00</subfield><subfield code="9">3-540-67455-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)43894238</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013116980</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.L63</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.2/1</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 716f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Thielscher, Michael</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Challenges for action theories</subfield><subfield code="c">Michael Thielscher</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 138 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">Lecture notes in computer science</subfield><subfield code="v">1775 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Inteligencia artificial (computacao)</subfield><subfield code="2">larpcal</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">Logica matematica</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique informatique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique informatique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Méthodes formelles (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systèmes, Conception de</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systèmes, Conception de</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthode formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">ramification</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">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System design</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatische Handlungsplanung</subfield><subfield code="0">(DE-588)4211191-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Handlungslogik</subfield><subfield code="0">(DE-588)4140940-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Handlungslogik</subfield><subfield code="0">(DE-588)4140940-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Automatische Handlungsplanung</subfield><subfield code="0">(DE-588)4211191-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1775 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1775 : Lecture</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008936898</subfield></datafield></record></collection> |
| id | DE-604.BV013116980 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-11T18:58:19Z |
| institution | BVB |
| isbn | 3540674551 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008936898 |
| oclc_num | 43894238 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-384 DE-706 DE-634 DE-83 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-384 DE-706 DE-634 DE-83 |
| physical | XIV, 138 S. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spellingShingle | Thielscher, Michael Challenges for action theories Lecture notes in computer science Inteligencia artificial (computacao) larpcal Kunstmatige intelligentie gtt Logica matematica larpcal Logique informatique Logique informatique ram Méthodes formelles (Informatique) Systèmes, Conception de Systèmes, Conception de ram logique formelle inriac méthode formelle inriac ramification inriac robotique inriac Computer logic Formal methods (Computer science) System design Automatische Handlungsplanung (DE-588)4211191-2 gnd Handlungslogik (DE-588)4140940-1 gnd |
| subject_GND | (DE-588)4211191-2 (DE-588)4140940-1 |
| title | Challenges for action theories |
| title_auth | Challenges for action theories |
| title_exact_search | Challenges for action theories |
| title_full | Challenges for action theories Michael Thielscher |
| title_fullStr | Challenges for action theories Michael Thielscher |
| title_full_unstemmed | Challenges for action theories Michael Thielscher |
| title_short | Challenges for action theories |
| title_sort | challenges for action theories |
| topic | Inteligencia artificial (computacao) larpcal Kunstmatige intelligentie gtt Logica matematica larpcal Logique informatique Logique informatique ram Méthodes formelles (Informatique) Systèmes, Conception de Systèmes, Conception de ram logique formelle inriac méthode formelle inriac ramification inriac robotique inriac Computer logic Formal methods (Computer science) System design Automatische Handlungsplanung (DE-588)4211191-2 gnd Handlungslogik (DE-588)4140940-1 gnd |
| topic_facet | Inteligencia artificial (computacao) Kunstmatige intelligentie Logica matematica Logique informatique Méthodes formelles (Informatique) Systèmes, Conception de logique formelle méthode formelle ramification robotique Computer logic Formal methods (Computer science) System design Automatische Handlungsplanung Handlungslogik |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT thielschermichael challengesforactiontheories |
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik
| Signatur: |
0102 DAT 001z 2001 A 999-1775 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |