Handbook of logic in artificial intelligence and logic programming: 3 Nonmonotonic reasoning and uncertain reasoning
Gespeichert in:
Format: | Buch |
---|---|
Sprache: | English |
Veröffentlicht: |
Oxford
Clarendon Press
1994
|
Schriftenreihe: | Handbooks of logic in computer science and artificial intelligence and logic programming
Oxford science publications |
Schlagworte: | |
Beschreibung: | XIX, 529 S. graph. Darst. |
ISBN: | 0198537476 |
Internformat
MARC
LEADER | 00000nam a2200000 cc4500 | ||
---|---|---|---|
001 | BV009568815 | ||
003 | DE-604 | ||
005 | 19991021 | ||
007 | t | ||
008 | 940504s1994 xxkd||| |||| 00||| eng d | ||
020 | |a 0198537476 |9 0-19-853747-6 | ||
035 | |a (OCoLC)490403088 | ||
035 | |a (DE-599)BVBBV009568815 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
044 | |a xxk |c XA-GB | ||
049 | |a DE-384 |a DE-473 |a DE-739 |a DE-12 |a DE-91 |a DE-91G |a DE-19 |a DE-29T |a DE-20 |a DE-824 |a DE-521 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
080 | |a 681.3.06 | ||
082 | 0 | |a 680 |2 20 | |
084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
084 | |a ST 120 |0 (DE-625)143585: |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 3 |p Nonmonotonic reasoning and uncertain reasoning |c ed. by Dov M. Gabbay ... |
264 | 1 | |a Oxford |b Clarendon Press |c 1994 | |
300 | |a XIX, 529 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 Intelligence artificielle |2 ram | |
650 | 7 | |a Logique symbolique et mathématique |2 ram | |
650 | 7 | |a Programmation logique |2 ram | |
650 | 7 | |a Raisonnement non-monotone |2 ram | |
650 | 4 | |a Künstliche Intelligenz | |
700 | 1 | |a Gabbay, Dov M. |d 1945- |e Sonstige |0 (DE-588)124196314 |4 oth | |
773 | 0 | 8 | |w (DE-604)BV008019546 |g 3 |
999 | |a oai:aleph.bib-bvb.de:BVB01-006321673 |
Datensatz im Suchindex
_version_ | 1804123908970905600 |
---|---|
any_adam_object | |
author_GND | (DE-588)124196314 |
building | Verbundindex |
bvnumber | BV009568815 |
classification_rvk | SK 130 ST 120 ST 300 |
ctrlnum | (OCoLC)490403088 (DE-599)BVBBV009568815 |
dewey-full | 680 |
dewey-hundreds | 600 - Technology (Applied sciences) |
dewey-ones | 680 - Manufacture of products for specific uses |
dewey-raw | 680 |
dewey-search | 680 |
dewey-sort | 3680 |
dewey-tens | 680 - Manufacture of products for specific uses |
discipline | Handwerk und Gewerbe / Verschiedene Technologien Informatik Mathematik |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01562nam a2200421 cc4500</leader><controlfield tag="001">BV009568815</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19991021 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940504s1994 xxkd||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198537476</subfield><subfield code="9">0-19-853747-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)490403088</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009568815</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-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="080" ind1=" " ind2=" "><subfield code="a">681.3.06</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">680</subfield><subfield code="2">20</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 120</subfield><subfield code="0">(DE-625)143585:</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">3</subfield><subfield code="p">Nonmonotonic reasoning and uncertain 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">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIX, 529 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">Intelligence artificielle</subfield><subfield code="2">ram</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">Programmation logique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Raisonnement non-monotone</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</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">3</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006321673</subfield></datafield></record></collection> |
id | DE-604.BV009568815 |
illustrated | Illustrated |
indexdate | 2024-07-09T17:37:15Z |
institution | BVB |
isbn | 0198537476 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006321673 |
oclc_num | 490403088 |
open_access_boolean | |
owner | DE-384 DE-473 DE-BY-UBG DE-739 DE-12 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-29T DE-20 DE-824 DE-521 DE-634 DE-83 DE-11 DE-188 |
owner_facet | DE-384 DE-473 DE-BY-UBG DE-739 DE-12 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-29T DE-20 DE-824 DE-521 DE-634 DE-83 DE-11 DE-188 |
physical | XIX, 529 S. graph. Darst. |
publishDate | 1994 |
publishDateSearch | 1994 |
publishDateSort | 1994 |
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 3 Nonmonotonic reasoning and uncertain reasoning ed. by Dov M. Gabbay ... Oxford Clarendon Press 1994 XIX, 529 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Handbooks of logic in computer science and artificial intelligence and logic programming Oxford science publications Intelligence artificielle ram Logique symbolique et mathématique ram Programmation logique ram Raisonnement non-monotone ram Künstliche Intelligenz Gabbay, Dov M. 1945- Sonstige (DE-588)124196314 oth (DE-604)BV008019546 3 |
spellingShingle | Handbook of logic in artificial intelligence and logic programming Intelligence artificielle ram Logique symbolique et mathématique ram Programmation logique ram Raisonnement non-monotone ram Künstliche Intelligenz |
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 3 Nonmonotonic reasoning and uncertain reasoning ed. by Dov M. Gabbay ... |
title_fullStr | Handbook of logic in artificial intelligence and logic programming 3 Nonmonotonic reasoning and uncertain reasoning ed. by Dov M. Gabbay ... |
title_full_unstemmed | Handbook of logic in artificial intelligence and logic programming 3 Nonmonotonic reasoning and uncertain 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 nonmonotonic reasoning and uncertain reasoning |
topic | Intelligence artificielle ram Logique symbolique et mathématique ram Programmation logique ram Raisonnement non-monotone ram Künstliche Intelligenz |
topic_facet | Intelligence artificielle Logique symbolique et mathématique Programmation logique Raisonnement non-monotone Künstliche Intelligenz |
volume_link | (DE-604)BV008019546 |
work_keys_str_mv | AT gabbaydovm handbookoflogicinartificialintelligenceandlogicprogramming3 |