Logic based artificial intelligence:
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Boston [u.a.]
Kluwer
2000
|
| Series: | The Kluwer international series in engineering and computer science
597 |
| Subjects: | |
| Physical Description: | XXIII, 606 S. graph. Darst. |
| ISBN: | 0792372247 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV013552486 | ||
| 003 | DE-604 | ||
| 005 | 20200304 | ||
| 007 | t | ||
| 008 | 010124s2000 xxud||| |||| 00||| eng d | ||
| 020 | |a 0792372247 |9 0-7923-7224-7 | ||
| 035 | |a (OCoLC)45243307 | ||
| 035 | |a (DE-599)BVBBV013552486 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c XD-US | ||
| 049 | |a DE-739 |a DE-521 |a DE-634 |a DE-11 | ||
| 050 | 0 | |a QA76.9.L63L62 2000 | |
| 082 | 0 | |a 006.3 |2 21 | |
| 082 | 0 | |a 006.3 21 | |
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a ST 285 |0 (DE-625)143648: |2 rvk | ||
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 245 | 1 | 0 | |a Logic based artificial intelligence |c ed. by Jack Minker |
| 246 | 1 | 3 | |a Logic-based artificial intelligence |
| 264 | 1 | |a Boston [u.a.] |b Kluwer |c 2000 | |
| 300 | |a XXIII, 606 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a The Kluwer international series in engineering and computer science |v 597 | |
| 650 | 4 | |a Intelligence artificielle | |
| 650 | 4 | |a Logique informatique | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Minker, Jack |d 1927-2021 |e Sonstige |0 (DE-588)119466295 |4 oth | |
| 830 | 0 | |a The Kluwer international series in engineering and computer science |v 597 |w (DE-604)BV023545171 |9 597 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009254508 | ||
Record in the Search Index
| _version_ | 1804128350499766272 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)119466295 |
| building | Verbundindex |
| bvnumber | BV013552486 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.L63L62 2000 |
| callnumber-search | QA76.9.L63L62 2000 |
| callnumber-sort | QA 276.9 L63 L62 42000 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2500 ST 285 ST 300 |
| ctrlnum | (OCoLC)45243307 (DE-599)BVBBV013552486 |
| dewey-full | 006.3 006.321 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 006.3 21 |
| dewey-search | 006.3 006.3 21 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01912nam a2200529 cb4500</leader><controlfield tag="001">BV013552486</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200304 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">010124s2000 xxud||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792372247</subfield><subfield code="9">0-7923-7224-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)45243307</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013552486</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">XD-US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.L63L62 2000</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">21</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3 21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</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">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">Logic based artificial intelligence</subfield><subfield code="c">ed. by Jack Minker</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Logic-based artificial intelligence</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston [u.a.]</subfield><subfield code="b">Kluwer</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXIII, 606 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="1" ind2=" "><subfield code="a">The Kluwer international series in engineering and computer science</subfield><subfield code="v">597</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intelligence artificielle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique informatique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</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="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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">Minker, Jack</subfield><subfield code="d">1927-2021</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)119466295</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">The Kluwer international series in engineering and computer science</subfield><subfield code="v">597</subfield><subfield code="w">(DE-604)BV023545171</subfield><subfield code="9">597</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009254508</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV013552486 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:47:51Z |
| institution | BVB |
| isbn | 0792372247 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009254508 |
| oclc_num | 45243307 |
| open_access_boolean | |
| owner | DE-739 DE-521 DE-634 DE-11 |
| owner_facet | DE-739 DE-521 DE-634 DE-11 |
| physical | XXIII, 606 S. graph. Darst. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Kluwer |
| record_format | marc |
| series | The Kluwer international series in engineering and computer science |
| series2 | The Kluwer international series in engineering and computer science |
| spelling | Logic based artificial intelligence ed. by Jack Minker Logic-based artificial intelligence Boston [u.a.] Kluwer 2000 XXIII, 606 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier The Kluwer international series in engineering and computer science 597 Intelligence artificielle Logique informatique Logique symbolique et mathématique Künstliche Intelligenz Computer logic Logic, Symbolic and mathematical Artificial intelligence Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Mathematische Logik (DE-588)4037951-6 s Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Minker, Jack 1927-2021 Sonstige (DE-588)119466295 oth The Kluwer international series in engineering and computer science 597 (DE-604)BV023545171 597 |
| spellingShingle | Logic based artificial intelligence The Kluwer international series in engineering and computer science Intelligence artificielle Logique informatique Logique symbolique et mathématique Künstliche Intelligenz Computer logic Logic, Symbolic and mathematical Artificial intelligence Künstliche Intelligenz (DE-588)4033447-8 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4037951-6 (DE-588)4143413-4 |
| title | Logic based artificial intelligence |
| title_alt | Logic-based artificial intelligence |
| title_auth | Logic based artificial intelligence |
| title_exact_search | Logic based artificial intelligence |
| title_full | Logic based artificial intelligence ed. by Jack Minker |
| title_fullStr | Logic based artificial intelligence ed. by Jack Minker |
| title_full_unstemmed | Logic based artificial intelligence ed. by Jack Minker |
| title_short | Logic based artificial intelligence |
| title_sort | logic based artificial intelligence |
| topic | Intelligence artificielle Logique informatique Logique symbolique et mathématique Künstliche Intelligenz Computer logic Logic, Symbolic and mathematical Artificial intelligence Künstliche Intelligenz (DE-588)4033447-8 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Intelligence artificielle Logique informatique Logique symbolique et mathématique Künstliche Intelligenz Computer logic Logic, Symbolic and mathematical Artificial intelligence Mathematische Logik Aufsatzsammlung |
| volume_link | (DE-604)BV023545171 |
| work_keys_str_mv | AT minkerjack logicbasedartificialintelligence |