Logic programming and non-monotonic reasoning: proceedings of the second international workshop
Saved in:
| Format: | Electronic eBook |
|---|---|
| Language: | English |
| Published: |
Cambridge, Mass.
MIT Press
c1993
|
| Subjects: | |
| Online Access: | FHA01 FHI01 Volltext |
| Item Description: | Papers presented during the workshop held in Lisbon in June 1993 Includes bibliographical references and index |
| Physical Description: | 1 Online-Ressource (vii, 494 p.) |
| ISBN: | 0262291371 0262660830 9780262291378 9780262660839 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042509214 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150417s1993 |||| o||u| ||||||eng d | ||
| 020 | |a 0262291371 |c electronic bk. |9 0-262-29137-1 | ||
| 020 | |a 0262660830 |9 0-262-66083-0 | ||
| 020 | |a 9780262291378 |c electronic bk. |9 978-0-262-29137-8 | ||
| 020 | |a 9780262660839 |9 978-0-262-66083-9 | ||
| 035 | |a (OCoLC)827335568 | ||
| 035 | |a (DE-599)BVBBV042509214 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-Aug4 |a DE-573 | ||
| 082 | 0 | |a 006.3 |2 22 | |
| 245 | 1 | 0 | |a Logic programming and non-monotonic reasoning |b proceedings of the second international workshop |c edited by Luís Moniz Pereira and Anil Nerode |
| 264 | 1 | |a Cambridge, Mass. |b MIT Press |c c1993 | |
| 300 | |a 1 Online-Ressource (vii, 494 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Papers presented during the workshop held in Lisbon in June 1993 | ||
| 500 | |a Includes bibliographical references and index | ||
| 650 | 7 | |a Lissabon (1993) |2 swd | |
| 650 | 7 | |a Conference proceedings |2 fast | |
| 650 | 7 | |a Logisch programmeren |2 gtt | |
| 650 | 7 | |a Kongreß |2 swd | |
| 650 | 7 | |a Logische Programmierung |2 swd | |
| 650 | 7 | |a Nichtmonotone Logik |2 swd | |
| 650 | 7 | |a Nichtmonotones Schließen |2 swd | |
| 650 | 7 | |a Logic programming |2 fast | |
| 650 | 7 | |a Nonmonotonic reasoning |2 fast | |
| 650 | 4 | |a Logic programming |v Congresses | |
| 650 | 4 | |a Nonmonotonic reasoning |v Congresses | |
| 650 | 0 | 7 | |a Nichtmonotone Logik |0 (DE-588)4278597-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | 1 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | 1 | |a Nichtmonotone Logik |0 (DE-588)4278597-2 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Pereira, Luís Moniz |e Sonstige |4 oth | |
| 700 | 1 | |a Nerode, Anil |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520 |x Verlag |3 Volltext |
| 912 | |a ZDB-37-IEM | ||
| 940 | 1 | |q ZDB-37-IEM_GB/15 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027943778 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520 |l FHA01 |p ZDB-37-IEM |x Verlag |3 Volltext | |
| 966 | e | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520 |l FHI01 |p ZDB-37-IEM |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804153253514969088 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV042509214 |
| collection | ZDB-37-IEM |
| ctrlnum | (OCoLC)827335568 (DE-599)BVBBV042509214 |
| 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 | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02833nmm a2200673zc 4500</leader><controlfield tag="001">BV042509214</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150417s1993 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262291371</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-262-29137-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262660830</subfield><subfield code="9">0-262-66083-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262291378</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-262-29137-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262660839</subfield><subfield code="9">978-0-262-66083-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)827335568</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042509214</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-573</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic programming and non-monotonic reasoning</subfield><subfield code="b">proceedings of the second international workshop</subfield><subfield code="c">edited by Luís Moniz Pereira and Anil Nerode</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">MIT Press</subfield><subfield code="c">c1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (vii, 494 p.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Papers presented during the workshop held in Lisbon in June 1993</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lissabon (1993)</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Conference proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logisch programmeren</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kongreß</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Nichtmonotone Logik</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Nichtmonotones Schließen</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic programming</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Nonmonotonic reasoning</subfield><subfield code="2">fast</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">Nonmonotonic reasoning</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nichtmonotone Logik</subfield><subfield code="0">(DE-588)4278597-2</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="650" ind1="0" ind2="7"><subfield code="a">Nichtmonotones Schließen</subfield><subfield code="0">(DE-588)4210699-0</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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="1"><subfield code="a">Nichtmonotones Schließen</subfield><subfield code="0">(DE-588)4210699-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Nichtmonotone Logik</subfield><subfield code="0">(DE-588)4278597-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pereira, Luís Moniz</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nerode, Anil</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-37-IEM</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-37-IEM_GB/15</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027943778</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-37-IEM</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-37-IEM</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV042509214 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:23:40Z |
| institution | BVB |
| isbn | 0262291371 0262660830 9780262291378 9780262660839 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027943778 |
| oclc_num | 827335568 |
| open_access_boolean | |
| owner | DE-Aug4 DE-573 |
| owner_facet | DE-Aug4 DE-573 |
| physical | 1 Online-Ressource (vii, 494 p.) |
| psigel | ZDB-37-IEM ZDB-37-IEM_GB/15 |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | MIT Press |
| record_format | marc |
| spelling | Logic programming and non-monotonic reasoning proceedings of the second international workshop edited by Luís Moniz Pereira and Anil Nerode Cambridge, Mass. MIT Press c1993 1 Online-Ressource (vii, 494 p.) txt rdacontent c rdamedia cr rdacarrier Papers presented during the workshop held in Lisbon in June 1993 Includes bibliographical references and index Lissabon (1993) swd Conference proceedings fast Logisch programmeren gtt Kongreß swd Logische Programmierung swd Nichtmonotone Logik swd Nichtmonotones Schließen swd Logic programming fast Nonmonotonic reasoning fast Logic programming Congresses Nonmonotonic reasoning Congresses Nichtmonotone Logik (DE-588)4278597-2 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Nichtmonotones Schließen (DE-588)4210699-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Logische Programmierung (DE-588)4195096-3 s Nichtmonotones Schließen (DE-588)4210699-0 s 1\p DE-604 Nichtmonotone Logik (DE-588)4278597-2 s 2\p DE-604 Pereira, Luís Moniz Sonstige oth Nerode, Anil Sonstige oth http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Logic programming and non-monotonic reasoning proceedings of the second international workshop Lissabon (1993) swd Conference proceedings fast Logisch programmeren gtt Kongreß swd Logische Programmierung swd Nichtmonotone Logik swd Nichtmonotones Schließen swd Logic programming fast Nonmonotonic reasoning fast Logic programming Congresses Nonmonotonic reasoning Congresses Nichtmonotone Logik (DE-588)4278597-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Nichtmonotones Schließen (DE-588)4210699-0 gnd |
| subject_GND | (DE-588)4278597-2 (DE-588)4195096-3 (DE-588)4210699-0 (DE-588)1071861417 |
| title | Logic programming and non-monotonic reasoning proceedings of the second international workshop |
| title_auth | Logic programming and non-monotonic reasoning proceedings of the second international workshop |
| title_exact_search | Logic programming and non-monotonic reasoning proceedings of the second international workshop |
| title_full | Logic programming and non-monotonic reasoning proceedings of the second international workshop edited by Luís Moniz Pereira and Anil Nerode |
| title_fullStr | Logic programming and non-monotonic reasoning proceedings of the second international workshop edited by Luís Moniz Pereira and Anil Nerode |
| title_full_unstemmed | Logic programming and non-monotonic reasoning proceedings of the second international workshop edited by Luís Moniz Pereira and Anil Nerode |
| title_short | Logic programming and non-monotonic reasoning |
| title_sort | logic programming and non monotonic reasoning proceedings of the second international workshop |
| title_sub | proceedings of the second international workshop |
| topic | Lissabon (1993) swd Conference proceedings fast Logisch programmeren gtt Kongreß swd Logische Programmierung swd Nichtmonotone Logik swd Nichtmonotones Schließen swd Logic programming fast Nonmonotonic reasoning fast Logic programming Congresses Nonmonotonic reasoning Congresses Nichtmonotone Logik (DE-588)4278597-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Nichtmonotones Schließen (DE-588)4210699-0 gnd |
| topic_facet | Lissabon (1993) Conference proceedings Logisch programmeren Kongreß Logische Programmierung Nichtmonotone Logik Nichtmonotones Schließen Logic programming Nonmonotonic reasoning Logic programming Congresses Nonmonotonic reasoning Congresses Konferenzschrift |
| url | http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520 |
| work_keys_str_mv | AT pereiraluismoniz logicprogrammingandnonmonotonicreasoningproceedingsofthesecondinternationalworkshop AT nerodeanil logicprogrammingandnonmonotonicreasoningproceedingsofthesecondinternationalworkshop |