Handbook of logic in artificial intelligence and logic programming: 4 Epistemic and temporal reasoning
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Oxford
Clarendon Press
1995
|
| Schriftenreihe: | Handbooks of logic in computer science and artificial intelligence and logic programming
Oxford science publications |
| Schlagworte: | |
| Beschreibung: | XVI, 611 S. graph. Darst. |
| ISBN: | 0198537913 |
Internformat
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV010188378 | ||
| 003 | DE-604 | ||
| 005 | 19950523 | ||
| 007 | t | ||
| 008 | 950518s1995 xxkd||| |||| 00||| eng d | ||
| 020 | |a 0198537913 |9 0-19-853791-3 | ||
| 035 | |a (OCoLC)489936475 | ||
| 035 | |a (DE-599)BVBBV010188378 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c XA-GB | ||
| 049 | |a DE-739 |a DE-384 |a DE-473 |a DE-29T |a DE-91 |a DE-12 |a DE-20 |a DE-824 |a DE-19 |a DE-634 |a DE-11 |a DE-188 | ||
| 082 | 0 | |a 006.3/3 20 |2 22/ger | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 245 | 1 | 0 | |a Handbook of logic in artificial intelligence and logic programming |n 4 |p Epistemic and temporal reasoning |c ed. by Dov M. Gabbay ... |
| 264 | 1 | |a Oxford |b Clarendon Press |c 1995 | |
| 300 | |a XVI, 611 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Handbooks of logic in computer science and artificial intelligence and logic programming | |
| 490 | 0 | |a Oxford science publications | |
| 650 | 7 | |a Informatique |2 ram | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 7 | |a intelligence artificielle |2 inriac | |
| 650 | 7 | |a logique |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a raisonnement non monotone |2 inriac | |
| 650 | 7 | |a épistémologie |2 inriac | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Gabbay, Dov M. |d 1945- |e Sonstige |0 (DE-588)124196314 |4 oth | |
| 773 | 0 | 8 | |w (DE-604)BV008019546 |g 4 |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006768902 | ||
Datensatz im Suchindex
| _version_ | 1804124589921402880 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)124196314 |
| building | Verbundindex |
| bvnumber | BV010188378 |
| classification_rvk | SK 130 ST 300 |
| ctrlnum | (OCoLC)489936475 (DE-599)BVBBV010188378 |
| dewey-full | 006.3/320 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3/3 20 |
| dewey-search | 006.3/3 20 |
| dewey-sort | 16.3 13 220 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01743nam a2200469 cc4500</leader><controlfield tag="001">BV010188378</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950523 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950518s1995 xxkd||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198537913</subfield><subfield code="9">0-19-853791-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)489936475</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010188378</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">xxk</subfield><subfield code="c">XA-GB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3/3 20</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 300</subfield><subfield code="0">(DE-625)143650:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Handbook of logic in artificial intelligence and logic programming</subfield><subfield code="n">4</subfield><subfield code="p">Epistemic and temporal reasoning</subfield><subfield code="c">ed. by Dov M. Gabbay ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Clarendon Press</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 611 S.</subfield><subfield code="b">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">Handbooks of logic in computer science and artificial intelligence and logic programming</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Oxford science publications</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">intelligence artificielle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement non monotone</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">épistémologie</subfield><subfield code="2">inriac</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="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gabbay, Dov M.</subfield><subfield code="d">1945-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)124196314</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV008019546</subfield><subfield code="g">4</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006768902</subfield></datafield></record></collection> |
| id | DE-604.BV010188378 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:48:04Z |
| institution | BVB |
| isbn | 0198537913 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006768902 |
| oclc_num | 489936475 |
| open_access_boolean | |
| owner | DE-739 DE-384 DE-473 DE-BY-UBG DE-29T DE-91 DE-BY-TUM DE-12 DE-20 DE-824 DE-19 DE-BY-UBM DE-634 DE-11 DE-188 |
| owner_facet | DE-739 DE-384 DE-473 DE-BY-UBG DE-29T DE-91 DE-BY-TUM DE-12 DE-20 DE-824 DE-19 DE-BY-UBM DE-634 DE-11 DE-188 |
| physical | XVI, 611 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Clarendon Press |
| record_format | marc |
| series2 | Handbooks of logic in computer science and artificial intelligence and logic programming Oxford science publications |
| spelling | Handbook of logic in artificial intelligence and logic programming 4 Epistemic and temporal reasoning ed. by Dov M. Gabbay ... Oxford Clarendon Press 1995 XVI, 611 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Handbooks of logic in computer science and artificial intelligence and logic programming Oxford science publications Informatique ram Künstliche Intelligenz Logique symbolique et mathématique ram intelligence artificielle inriac logique inriac programmation en logique inriac raisonnement non monotone inriac épistémologie inriac Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Gabbay, Dov M. 1945- Sonstige (DE-588)124196314 oth (DE-604)BV008019546 4 |
| spellingShingle | Handbook of logic in artificial intelligence and logic programming Informatique ram Künstliche Intelligenz Logique symbolique et mathématique ram intelligence artificielle inriac logique inriac programmation en logique inriac raisonnement non monotone inriac épistémologie inriac Künstliche Intelligenz (DE-588)4033447-8 gnd |
| subject_GND | (DE-588)4033447-8 |
| title | Handbook of logic in artificial intelligence and logic programming |
| title_auth | Handbook of logic in artificial intelligence and logic programming |
| title_exact_search | Handbook of logic in artificial intelligence and logic programming |
| title_full | Handbook of logic in artificial intelligence and logic programming 4 Epistemic and temporal reasoning ed. by Dov M. Gabbay ... |
| title_fullStr | Handbook of logic in artificial intelligence and logic programming 4 Epistemic and temporal reasoning ed. by Dov M. Gabbay ... |
| title_full_unstemmed | Handbook of logic in artificial intelligence and logic programming 4 Epistemic and temporal reasoning ed. by Dov M. Gabbay ... |
| title_short | Handbook of logic in artificial intelligence and logic programming |
| title_sort | handbook of logic in artificial intelligence and logic programming epistemic and temporal reasoning |
| topic | Informatique ram Künstliche Intelligenz Logique symbolique et mathématique ram intelligence artificielle inriac logique inriac programmation en logique inriac raisonnement non monotone inriac épistémologie inriac Künstliche Intelligenz (DE-588)4033447-8 gnd |
| topic_facet | Informatique Künstliche Intelligenz Logique symbolique et mathématique intelligence artificielle logique programmation en logique raisonnement non monotone épistémologie |
| volume_link | (DE-604)BV008019546 |
| work_keys_str_mv | AT gabbaydovm handbookoflogicinartificialintelligenceandlogicprogramming4 |