Logic programming proceedings of the eleventh International Conference on Logic Programming
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass. u.a.
MIT Press
1994
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010198710 | ||
| 003 | DE-604 | ||
| 005 | 19950530 | ||
| 007 | t| | ||
| 008 | 950526s1994 xx d||| |||| 10||| eng d | ||
| 020 | |a 0262720221 |9 0-262-72022-1 | ||
| 035 | |a (OCoLC)31226110 | ||
| 035 | |a (DE-599)BVBBV010198710 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-384 | ||
| 050 | 0 | |a QA76.63 | |
| 082 | 0 | |a 005.131 |2 20 | |
| 084 | |a SS 1994 |0 (DE-625)143431: |2 rvk | ||
| 245 | 1 | 0 | |a Logic programming |b proceedings of the eleventh International Conference on Logic Programming |c ed. by Pascal van Hentenryck |
| 264 | 1 | |a Cambridge, Mass. u.a. |b MIT Press |c 1994 | |
| 300 | |a XX, 752 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Programmation logique - Congrès |2 ram | |
| 650 | 7 | |a abduction |2 inriac | |
| 650 | 7 | |a base donnée |2 inriac | |
| 650 | 7 | |a contrainte |2 inriac | |
| 650 | 7 | |a logique ordre élevé |2 inriac | |
| 650 | 7 | |a métaprogrammation |2 inriac | |
| 650 | 7 | |a négation |2 inriac | |
| 650 | 7 | |a parallélisme |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a sémantique |2 inriac | |
| 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 |y 1994 |z Santa Margherita Ligure |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Van Hentenryck, Pascal |d 1963- |e Sonstige |0 (DE-588)115539751 |4 oth | |
| 711 | 2 | |a International Conference on Logic Programming |n 11 |d 1994 |c Santa Margherita Ligure |j Sonstige |0 (DE-588)2140294-2 |4 oth | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006777307 | |
Datensatz im Suchindex
| _version_ | 1819239506543378432 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)115539751 |
| building | Verbundindex |
| bvnumber | BV010198710 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.63 |
| callnumber-search | QA76.63 |
| callnumber-sort | QA 276.63 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1994 |
| ctrlnum | (OCoLC)31226110 (DE-599)BVBBV010198710 |
| 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 | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01763nam a2200481 c 4500</leader><controlfield tag="001">BV010198710</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950530 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">950526s1994 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262720221</subfield><subfield code="9">0-262-72022-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31226110</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010198710</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-739</subfield><subfield code="a">DE-384</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.63</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1994</subfield><subfield code="0">(DE-625)143431:</subfield><subfield code="2">rvk</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">ed. by Pascal van Hentenryck</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. u.a.</subfield><subfield code="b">MIT Press</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 752 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="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">abduction</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">base donnée</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">contrainte</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique ordre élevé</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">métaprogrammation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">négation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">parallélisme</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">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="y">1994</subfield><subfield code="z">Santa Margherita Ligure</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="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Van Hentenryck, Pascal</subfield><subfield code="d">1963-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)115539751</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Logic Programming</subfield><subfield code="n">11</subfield><subfield code="d">1994</subfield><subfield code="c">Santa Margherita Ligure</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2140294-2</subfield><subfield code="4">oth</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006777307</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1994 Santa Margherita Ligure gnd-content |
| genre_facet | Konferenzschrift 1994 Santa Margherita Ligure |
| id | DE-604.BV010198710 |
| illustrated | Illustrated |
| indexdate | 2024-12-23T13:53:12Z |
| institution | BVB |
| institution_GND | (DE-588)2140294-2 |
| isbn | 0262720221 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006777307 |
| oclc_num | 31226110 |
| open_access_boolean | |
| owner | DE-739 DE-384 |
| owner_facet | DE-739 DE-384 |
| physical | XX, 752 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | MIT Press |
| record_format | marc |
| spelling | Logic programming proceedings of the eleventh International Conference on Logic Programming ed. by Pascal van Hentenryck Cambridge, Mass. u.a. MIT Press 1994 XX, 752 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Programmation logique - Congrès ram abduction inriac base donnée inriac contrainte inriac logique ordre élevé inriac métaprogrammation inriac négation inriac parallélisme inriac programmation en logique inriac sémantique inriac Logic programming Congresses Logische Programmierung (DE-588)4195096-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1994 Santa Margherita Ligure gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Van Hentenryck, Pascal 1963- Sonstige (DE-588)115539751 oth International Conference on Logic Programming 11 1994 Santa Margherita Ligure Sonstige (DE-588)2140294-2 oth |
| spellingShingle | Logic programming proceedings of the eleventh International Conference on Logic Programming Programmation logique - Congrès ram abduction inriac base donnée inriac contrainte inriac logique ordre élevé inriac métaprogrammation inriac négation inriac parallélisme inriac programmation en logique inriac sémantique inriac 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 ed. by Pascal van Hentenryck |
| title_fullStr | Logic programming proceedings of the eleventh International Conference on Logic Programming ed. by Pascal van Hentenryck |
| title_full_unstemmed | Logic programming proceedings of the eleventh International Conference on Logic Programming ed. 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 | Programmation logique - Congrès ram abduction inriac base donnée inriac contrainte inriac logique ordre élevé inriac métaprogrammation inriac négation inriac parallélisme inriac programmation en logique inriac sémantique inriac Logic programming Congresses Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Programmation logique - Congrès abduction base donnée contrainte logique ordre élevé métaprogrammation négation parallélisme programmation en logique sémantique Logic programming Congresses Logische Programmierung Konferenzschrift 1994 Santa Margherita Ligure |
| work_keys_str_mv | AT vanhentenryckpascal logicprogrammingproceedingsoftheeleventhinternationalconferenceonlogicprogramming AT internationalconferenceonlogicprogrammingsantamargheritaligure logicprogrammingproceedingsoftheeleventhinternationalconferenceonlogicprogramming |