Logic programming: proceedings of the eleventh International Conference on Logic Programming
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass
MIT Press
c1994
|
| Schriftenreihe: | Logic programming
|
| Schlagworte: | |
| Online-Zugang: | FHA01 FHI01 Volltext |
| Beschreibung: | Includes bibliographical references and index |
| Beschreibung: | 1 Online-Ressource (xx, 752 p.) |
| ISBN: | 0262257149 0262720221 9780262257145 9780262720229 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042509170 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150417s1994 |||| o||u| ||||||eng d | ||
| 020 | |a 0262257149 |c electronic bk. |9 0-262-25714-9 | ||
| 020 | |a 0262720221 |9 0-262-72022-1 | ||
| 020 | |a 9780262257145 |c electronic bk. |9 978-0-262-25714-5 | ||
| 020 | |a 9780262720229 |9 978-0-262-72022-9 | ||
| 035 | |a (OCoLC)827304134 | ||
| 035 | |a (DE-599)BVBBV042509170 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-Aug4 |a DE-573 | ||
| 082 | 0 | |a 005.131 |2 22 | |
| 245 | 1 | 0 | |a Logic programming |b proceedings of the eleventh International Conference on Logic Programming |c edited by Pascal Van Hentenryck |
| 264 | 1 | |a Cambridge, Mass |b MIT Press |c c1994 | |
| 300 | |a 1 Online-Ressource (xx, 752 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Logic programming | |
| 500 | |a Includes bibliographical references and index | ||
| 650 | 7 | |a Santa Margherita Ligure (1994) |2 swd | |
| 650 | 7 | |a Conference proceedings |2 fast | |
| 650 | 4 | |a abduction | |
| 650 | 4 | |a négation | |
| 650 | 4 | |a logique ordre élevé | |
| 650 | 4 | |a métaprogrammation | |
| 650 | 4 | |a contrainte | |
| 650 | 4 | |a parallélisme | |
| 650 | 4 | |a base donnée | |
| 650 | 4 | |a sémantique | |
| 650 | 4 | |a programmation en logique | |
| 650 | 7 | |a Programmation logique / Congrès |2 ram | |
| 650 | 7 | |a Kongress |2 swd | |
| 650 | 7 | |a Logische Programmierung |2 swd | |
| 650 | 7 | |a Logic programming |2 fast | |
| 650 | 4 | |a Logic programming |v Congresses | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |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 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Van Hentenryck, Pascal |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351 |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-027943734 | ||
| 883 | 1 | |8 1\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=6267351 |l FHA01 |p ZDB-37-IEM |x Verlag |3 Volltext | |
| 966 | e | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351 |l FHI01 |p ZDB-37-IEM |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804153253409062912 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV042509170 |
| collection | ZDB-37-IEM |
| ctrlnum | (OCoLC)827304134 (DE-599)BVBBV042509170 |
| dewey-full | 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 |
| dewey-search | 005.131 |
| dewey-sort | 15.131 |
| 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>02406nmm a2200637zc 4500</leader><controlfield tag="001">BV042509170</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150417s1994 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262257149</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-262-25714-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262720221</subfield><subfield code="9">0-262-72022-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262257145</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-262-25714-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262720229</subfield><subfield code="9">978-0-262-72022-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)827304134</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042509170</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">005.131</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic programming</subfield><subfield code="b">proceedings of the eleventh International Conference on Logic Programming</subfield><subfield code="c">edited by Pascal Van Hentenryck</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass</subfield><subfield code="b">MIT Press</subfield><subfield code="c">c1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xx, 752 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="490" ind1="0" ind2=" "><subfield code="a">Logic programming</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">Santa Margherita Ligure (1994)</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="4"><subfield code="a">abduction</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">négation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">logique ordre élevé</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">métaprogrammation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">contrainte</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">parallélisme</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">base donnée</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">sémantique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">programmation en logique</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="7"><subfield code="a">Kongress</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">Logic programming</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="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="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=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Van Hentenryck, Pascal</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=6267351</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-027943734</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="966" ind1="e" ind2=" "><subfield code="u">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351</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=6267351</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.BV042509170 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:23:40Z |
| institution | BVB |
| isbn | 0262257149 0262720221 9780262257145 9780262720229 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027943734 |
| oclc_num | 827304134 |
| open_access_boolean | |
| owner | DE-Aug4 DE-573 |
| owner_facet | DE-Aug4 DE-573 |
| physical | 1 Online-Ressource (xx, 752 p.) |
| psigel | ZDB-37-IEM ZDB-37-IEM_GB/15 |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | MIT Press |
| record_format | marc |
| series2 | Logic programming |
| spelling | Logic programming proceedings of the eleventh International Conference on Logic Programming edited by Pascal Van Hentenryck Cambridge, Mass MIT Press c1994 1 Online-Ressource (xx, 752 p.) txt rdacontent c rdamedia cr rdacarrier Logic programming Includes bibliographical references and index Santa Margherita Ligure (1994) swd Conference proceedings fast abduction négation logique ordre élevé métaprogrammation contrainte parallélisme base donnée sémantique programmation en logique Programmation logique / Congrès ram Kongress swd Logische Programmierung swd Logic programming fast Logic programming Congresses Logische Programmierung (DE-588)4195096-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Logische Programmierung (DE-588)4195096-3 s 1\p DE-604 Van Hentenryck, Pascal Sonstige oth http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Logic programming proceedings of the eleventh International Conference on Logic Programming Santa Margherita Ligure (1994) swd Conference proceedings fast abduction négation logique ordre élevé métaprogrammation contrainte parallélisme base donnée sémantique programmation en logique Programmation logique / Congrès ram Kongress swd Logische Programmierung swd Logic programming fast Logic programming Congresses Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)1071861417 |
| title | Logic programming proceedings of the eleventh International Conference on Logic Programming |
| title_auth | Logic programming proceedings of the eleventh International Conference on Logic Programming |
| title_exact_search | Logic programming proceedings of the eleventh International Conference on Logic Programming |
| title_full | Logic programming proceedings of the eleventh International Conference on Logic Programming edited by Pascal Van Hentenryck |
| title_fullStr | Logic programming proceedings of the eleventh International Conference on Logic Programming edited by Pascal Van Hentenryck |
| title_full_unstemmed | Logic programming proceedings of the eleventh International Conference on Logic Programming edited by Pascal Van Hentenryck |
| title_short | Logic programming |
| title_sort | logic programming proceedings of the eleventh international conference on logic programming |
| title_sub | proceedings of the eleventh International Conference on Logic Programming |
| topic | Santa Margherita Ligure (1994) swd Conference proceedings fast abduction négation logique ordre élevé métaprogrammation contrainte parallélisme base donnée sémantique programmation en logique Programmation logique / Congrès ram Kongress swd Logische Programmierung swd Logic programming fast Logic programming Congresses Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Santa Margherita Ligure (1994) Conference proceedings abduction négation logique ordre élevé métaprogrammation contrainte parallélisme base donnée sémantique programmation en logique Programmation logique / Congrès Kongress Logische Programmierung Logic programming Logic programming Congresses Konferenzschrift |
| url | http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351 |
| work_keys_str_mv | AT vanhentenryckpascal logicprogrammingproceedingsoftheeleventhinternationalconferenceonlogicprogramming |