Logics in AI: European Workshop JELIA '90 ; Amsterdam, The Netherlands, September 10 - 14, 1990 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1991
|
| Schriftenreihe: | Lecture notes in computer science
478 : Lecture notes in artificial intelligence |
| Schlagworte: | |
| Beschreibung: | IX, 561 S. graph. Darst. |
| ISBN: | 3540536868 0387536868 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV005558548 | ||
| 003 | DE-604 | ||
| 005 | 20110325 | ||
| 007 | t | ||
| 008 | 920915s1991 d||| |||| 10||| eng d | ||
| 020 | |a 3540536868 |9 3-540-53686-8 | ||
| 020 | |a 0387536868 |9 0-387-53686-8 | ||
| 035 | |a (OCoLC)23016132 | ||
| 035 | |a (DE-599)BVBBV005558548 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 |a DE-739 |a DE-20 |a DE-12 |a DE-19 |a DE-384 |a DE-91G |a DE-11 |a DE-706 |a DE-188 |a DE-634 | ||
| 050 | 0 | |a Q334 | |
| 082 | 0 | |a 006.3 |2 20 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 084 | |a DAT 540f |2 stub | ||
| 245 | 1 | 0 | |a Logics in AI |b European Workshop JELIA '90 ; Amsterdam, The Netherlands, September 10 - 14, 1990 ; proceedings |c J. van Eijck (ed.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1991 | |
| 300 | |a IX, 561 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 478 : Lecture notes in artificial intelligence | |
| 650 | 4 | |a Intelligence artificielle - Congrès | |
| 650 | 4 | |a Logique mathématique non classique - Congrès | |
| 650 | 4 | |a Logique symbolique et mathématique - Congrès | |
| 650 | 4 | |a Programmation logique - Congrès | |
| 650 | 7 | |a Programmation logique - Congrès |2 ram | |
| 650 | 4 | |a Sémantique - Informatique - Congrès | |
| 650 | 7 | |a démonstration théorème |2 inriac | |
| 650 | 7 | |a langage naturel |2 inriac | |
| 650 | 7 | |a logique dynamique |2 inriac | |
| 650 | 7 | |a logique non classique |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a sémantique |2 inriac | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence |v Congresses | |
| 650 | 4 | |a Logic programming |v Congresses | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses | |
| 650 | 4 | |a Nonclassical mathematical logic |v Congresses | |
| 650 | 4 | |a Semantics |x Data processing |v Congresses | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1990 |z Amsterdam |2 gnd-content | |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 1 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 1 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 2 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Eijck, Jan van |d 1951- |e Sonstige |0 (DE-588)112411223 |4 oth | |
| 711 | 2 | |a JELIA |n 2 |d 1990 |c Amsterdam |j Sonstige |0 (DE-588)2118135-4 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 478 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 478 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003485166 | ||
Datensatz im Suchindex
| _version_ | 1804119777628651520 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)112411223 |
| building | Verbundindex |
| bvnumber | BV005558548 |
| callnumber-first | Q - Science |
| callnumber-label | Q334 |
| callnumber-raw | Q334 |
| callnumber-search | Q334 |
| callnumber-sort | Q 3334 |
| callnumber-subject | Q - General Science |
| classification_rvk | SS 4800 ST 300 |
| classification_tum | DAT 540f |
| ctrlnum | (OCoLC)23016132 (DE-599)BVBBV005558548 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03113nam a2200757 cb4500</leader><controlfield tag="001">BV005558548</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110325 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">920915s1991 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540536868</subfield><subfield code="9">3-540-53686-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387536868</subfield><subfield code="9">0-387-53686-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)23016132</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005558548</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="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q334</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">20</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">ST 300</subfield><subfield code="0">(DE-625)143650:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logics in AI</subfield><subfield code="b">European Workshop JELIA '90 ; Amsterdam, The Netherlands, September 10 - 14, 1990 ; proceedings</subfield><subfield code="c">J. van Eijck (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 561 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">Lecture notes in computer science</subfield><subfield code="v">478 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intelligence artificielle - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique mathématique non classique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation logique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation logique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sémantique - Informatique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">démonstration théorème</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage naturel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique dynamique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique non classique</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">sémantique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</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">Artificial intelligence</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Nonclassical mathematical logic</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics</subfield><subfield code="x">Data processing</subfield><subfield code="v">Congresses</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="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">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1990</subfield><subfield code="z">Amsterdam</subfield><subfield code="2">gnd-content</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="1"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</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">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Eijck, Jan van</subfield><subfield code="d">1951-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)112411223</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">JELIA</subfield><subfield code="n">2</subfield><subfield code="d">1990</subfield><subfield code="c">Amsterdam</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2118135-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">478 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">478</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003485166</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1990 Amsterdam gnd-content |
| genre_facet | Konferenzschrift 1990 Amsterdam |
| id | DE-604.BV005558548 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:31:35Z |
| institution | BVB |
| institution_GND | (DE-588)2118135-4 |
| isbn | 3540536868 0387536868 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003485166 |
| oclc_num | 23016132 |
| open_access_boolean | |
| owner | DE-703 DE-739 DE-20 DE-12 DE-19 DE-BY-UBM DE-384 DE-91G DE-BY-TUM DE-11 DE-706 DE-188 DE-634 |
| owner_facet | DE-703 DE-739 DE-20 DE-12 DE-19 DE-BY-UBM DE-384 DE-91G DE-BY-TUM DE-11 DE-706 DE-188 DE-634 |
| physical | IX, 561 S. graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Logics in AI European Workshop JELIA '90 ; Amsterdam, The Netherlands, September 10 - 14, 1990 ; proceedings J. van Eijck (ed.) Berlin u.a. Springer 1991 IX, 561 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 478 : Lecture notes in artificial intelligence Intelligence artificielle - Congrès Logique mathématique non classique - Congrès Logique symbolique et mathématique - Congrès Programmation logique - Congrès Programmation logique - Congrès ram Sémantique - Informatique - Congrès démonstration théorème inriac langage naturel inriac logique dynamique inriac logique non classique inriac programmation en logique inriac sémantique inriac Datenverarbeitung Künstliche Intelligenz Artificial intelligence Congresses Logic programming Congresses Logic, Symbolic and mathematical Congresses Nonclassical mathematical logic Congresses Semantics Data processing Congresses Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1990 Amsterdam gnd-content Künstliche Intelligenz (DE-588)4033447-8 s Logische Programmierung (DE-588)4195096-3 s DE-604 Logik (DE-588)4036202-4 s Mathematische Logik (DE-588)4037951-6 s Eijck, Jan van 1951- Sonstige (DE-588)112411223 oth JELIA 2 1990 Amsterdam Sonstige (DE-588)2118135-4 oth Lecture notes in computer science 478 : Lecture notes in artificial intelligence (DE-604)BV000000607 478 |
| spellingShingle | Logics in AI European Workshop JELIA '90 ; Amsterdam, The Netherlands, September 10 - 14, 1990 ; proceedings Lecture notes in computer science Intelligence artificielle - Congrès Logique mathématique non classique - Congrès Logique symbolique et mathématique - Congrès Programmation logique - Congrès Programmation logique - Congrès ram Sémantique - Informatique - Congrès démonstration théorème inriac langage naturel inriac logique dynamique inriac logique non classique inriac programmation en logique inriac sémantique inriac Datenverarbeitung Künstliche Intelligenz Artificial intelligence Congresses Logic programming Congresses Logic, Symbolic and mathematical Congresses Nonclassical mathematical logic Congresses Semantics Data processing Congresses Mathematische Logik (DE-588)4037951-6 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Logik (DE-588)4036202-4 gnd Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4033447-8 (DE-588)4036202-4 (DE-588)4195096-3 (DE-588)1071861417 |
| title | Logics in AI European Workshop JELIA '90 ; Amsterdam, The Netherlands, September 10 - 14, 1990 ; proceedings |
| title_auth | Logics in AI European Workshop JELIA '90 ; Amsterdam, The Netherlands, September 10 - 14, 1990 ; proceedings |
| title_exact_search | Logics in AI European Workshop JELIA '90 ; Amsterdam, The Netherlands, September 10 - 14, 1990 ; proceedings |
| title_full | Logics in AI European Workshop JELIA '90 ; Amsterdam, The Netherlands, September 10 - 14, 1990 ; proceedings J. van Eijck (ed.) |
| title_fullStr | Logics in AI European Workshop JELIA '90 ; Amsterdam, The Netherlands, September 10 - 14, 1990 ; proceedings J. van Eijck (ed.) |
| title_full_unstemmed | Logics in AI European Workshop JELIA '90 ; Amsterdam, The Netherlands, September 10 - 14, 1990 ; proceedings J. van Eijck (ed.) |
| title_short | Logics in AI |
| title_sort | logics in ai european workshop jelia 90 amsterdam the netherlands september 10 14 1990 proceedings |
| title_sub | European Workshop JELIA '90 ; Amsterdam, The Netherlands, September 10 - 14, 1990 ; proceedings |
| topic | Intelligence artificielle - Congrès Logique mathématique non classique - Congrès Logique symbolique et mathématique - Congrès Programmation logique - Congrès Programmation logique - Congrès ram Sémantique - Informatique - Congrès démonstration théorème inriac langage naturel inriac logique dynamique inriac logique non classique inriac programmation en logique inriac sémantique inriac Datenverarbeitung Künstliche Intelligenz Artificial intelligence Congresses Logic programming Congresses Logic, Symbolic and mathematical Congresses Nonclassical mathematical logic Congresses Semantics Data processing Congresses Mathematische Logik (DE-588)4037951-6 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Logik (DE-588)4036202-4 gnd Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Intelligence artificielle - Congrès Logique mathématique non classique - Congrès Logique symbolique et mathématique - Congrès Programmation logique - Congrès Sémantique - Informatique - Congrès démonstration théorème langage naturel logique dynamique logique non classique programmation en logique sémantique Datenverarbeitung Künstliche Intelligenz Artificial intelligence Congresses Logic programming Congresses Logic, Symbolic and mathematical Congresses Nonclassical mathematical logic Congresses Semantics Data processing Congresses Mathematische Logik Logik Logische Programmierung Konferenzschrift 1990 Amsterdam |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT eijckjanvan logicsinaieuropeanworkshopjelia90amsterdamthenetherlandsseptember10141990proceedings AT jeliaamsterdam logicsinaieuropeanworkshopjelia90amsterdamthenetherlandsseptember10141990proceedings |