Challenges for action theories:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2000
|
| Schriftenreihe: | Lecture notes in computer science
1775 : Lecture notes in artificial intelligence |
| Schlagworte: | |
| Beschreibung: | 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 SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 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 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008936898 | ||
Datensatz im Suchindex
| _version_ | 1804127816455815168 |
|---|---|
| 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>02171nam a22006018cb4500</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">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008936898</subfield></datafield></record></collection> |
| id | DE-604.BV013116980 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:39:22Z |
| 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 |
| spelling | Thielscher, Michael Verfasser aut Challenges for action theories Michael Thielscher Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2000 XIV, 138 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1775 : Lecture notes in artificial intelligence 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 rswk-swf Handlungslogik (DE-588)4140940-1 gnd rswk-swf Handlungslogik (DE-588)4140940-1 s DE-604 Automatische Handlungsplanung (DE-588)4211191-2 s Lecture notes in computer science 1775 : Lecture notes in artificial intelligence (DE-604)BV000000607 1775 : Lecture |
| 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 |