Logic programming: proceedings of the fifth international conference and symposium ; [papers presented at the joint meeting of the Fifth International Conference on Logic Programming and the Fifth Symposium on Logic Programming ... held Aug. 15 - 19, 1988 at the Univ. of Washington, Seattle]
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass. [u.a.]
MIT Press
|
| Schriftenreihe: | MIT Press series in logic programming
|
| Schlagworte: | |
| ISBN: | 0262610566 |
Internformat
MARC
| LEADER | 00000nam a2200000 ca4500 | ||
|---|---|---|---|
| 001 | BV009515546 | ||
| 003 | DE-604 | ||
| 005 | 20150202 | ||
| 007 | t| | ||
| 008 | 940401nuuuuuuuuxx |||| 10||| eng d | ||
| 020 | |a 0262610566 |9 0-262-61056-6 | ||
| 035 | |a (OCoLC)643324469 | ||
| 035 | |a (DE-599)BVBBV009515546 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 084 | |a SD 1988 |0 (DE-625)142722: |2 rvk | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Logic programming |b proceedings of the fifth international conference and symposium ; [papers presented at the joint meeting of the Fifth International Conference on Logic Programming and the Fifth Symposium on Logic Programming ... held Aug. 15 - 19, 1988 at the Univ. of Washington, Seattle] |c ed. by Robert A. Kowalski ... |
| 264 | 1 | |a Cambridge, Mass. [u.a.] |b MIT Press | |
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a MIT Press series in logic programming | |
| 515 | |a Erschienen: 1 - 2 | ||
| 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 1988 |z Seattle Wash. |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Kowalski, Robert |d 1941- |e Sonstige |0 (DE-588)123879507 |4 oth | |
| 711 | 2 | |a International Conference on Logic Programming |n 5 |d 1988 |c Seattle, Wash. |j Sonstige |0 (DE-588)5003088-7 |4 oth | |
| 711 | 2 | |a Symposium on Logic Programming |n 5 |d 1988 |c Seattle, Wash. |j Sonstige |0 (DE-588)5003089-9 |4 oth | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-012523083 | |
Datensatz im Suchindex
| _version_ | 1820868283837972480 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)123879507 |
| building | Verbundindex |
| bvnumber | BV009515546 |
| classification_rvk | SD 1988 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)643324469 (DE-599)BVBBV009515546 |
| discipline | Informatik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 ca4500</leader><controlfield tag="001">BV009515546</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150202</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">940401nuuuuuuuuxx |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262610566</subfield><subfield code="9">0-262-61056-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)643324469</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009515546</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="084" ind1=" " ind2=" "><subfield code="a">SD 1988</subfield><subfield code="0">(DE-625)142722:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic programming</subfield><subfield code="b">proceedings of the fifth international conference and symposium ; [papers presented at the joint meeting of the Fifth International Conference on Logic Programming and the Fifth Symposium on Logic Programming ... held Aug. 15 - 19, 1988 at the Univ. of Washington, Seattle]</subfield><subfield code="c">ed. by Robert A. Kowalski ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. [u.a.]</subfield><subfield code="b">MIT Press</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="0" ind2=" "><subfield code="a">MIT Press series in logic programming</subfield></datafield><datafield tag="515" ind1=" " ind2=" "><subfield code="a">Erschienen: 1 - 2</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">1988</subfield><subfield code="z">Seattle Wash.</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">Kowalski, Robert</subfield><subfield code="d">1941-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)123879507</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">5</subfield><subfield code="d">1988</subfield><subfield code="c">Seattle, Wash.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5003088-7</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Symposium on Logic Programming</subfield><subfield code="n">5</subfield><subfield code="d">1988</subfield><subfield code="c">Seattle, Wash.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5003089-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-012523083</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1988 Seattle Wash. gnd-content |
| genre_facet | Konferenzschrift 1988 Seattle Wash. |
| id | DE-604.BV009515546 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T13:21:55Z |
| institution | BVB |
| institution_GND | (DE-588)5003088-7 (DE-588)5003089-9 |
| isbn | 0262610566 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-012523083 |
| oclc_num | 643324469 |
| open_access_boolean | |
| publishDateSort | 0000 |
| publisher | MIT Press |
| record_format | marc |
| series2 | MIT Press series in logic programming |
| spelling | Logic programming proceedings of the fifth international conference and symposium ; [papers presented at the joint meeting of the Fifth International Conference on Logic Programming and the Fifth Symposium on Logic Programming ... held Aug. 15 - 19, 1988 at the Univ. of Washington, Seattle] ed. by Robert A. Kowalski ... Cambridge, Mass. [u.a.] MIT Press txt rdacontent n rdamedia nc rdacarrier MIT Press series in logic programming Erschienen: 1 - 2 Logische Programmierung (DE-588)4195096-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1988 Seattle Wash. gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Kowalski, Robert 1941- Sonstige (DE-588)123879507 oth International Conference on Logic Programming 5 1988 Seattle, Wash. Sonstige (DE-588)5003088-7 oth Symposium on Logic Programming 5 1988 Seattle, Wash. Sonstige (DE-588)5003089-9 oth |
| spellingShingle | Logic programming proceedings of the fifth international conference and symposium ; [papers presented at the joint meeting of the Fifth International Conference on Logic Programming and the Fifth Symposium on Logic Programming ... held Aug. 15 - 19, 1988 at the Univ. of Washington, Seattle] Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)1071861417 |
| title | Logic programming proceedings of the fifth international conference and symposium ; [papers presented at the joint meeting of the Fifth International Conference on Logic Programming and the Fifth Symposium on Logic Programming ... held Aug. 15 - 19, 1988 at the Univ. of Washington, Seattle] |
| title_auth | Logic programming proceedings of the fifth international conference and symposium ; [papers presented at the joint meeting of the Fifth International Conference on Logic Programming and the Fifth Symposium on Logic Programming ... held Aug. 15 - 19, 1988 at the Univ. of Washington, Seattle] |
| title_exact_search | Logic programming proceedings of the fifth international conference and symposium ; [papers presented at the joint meeting of the Fifth International Conference on Logic Programming and the Fifth Symposium on Logic Programming ... held Aug. 15 - 19, 1988 at the Univ. of Washington, Seattle] |
| title_full | Logic programming proceedings of the fifth international conference and symposium ; [papers presented at the joint meeting of the Fifth International Conference on Logic Programming and the Fifth Symposium on Logic Programming ... held Aug. 15 - 19, 1988 at the Univ. of Washington, Seattle] ed. by Robert A. Kowalski ... |
| title_fullStr | Logic programming proceedings of the fifth international conference and symposium ; [papers presented at the joint meeting of the Fifth International Conference on Logic Programming and the Fifth Symposium on Logic Programming ... held Aug. 15 - 19, 1988 at the Univ. of Washington, Seattle] ed. by Robert A. Kowalski ... |
| title_full_unstemmed | Logic programming proceedings of the fifth international conference and symposium ; [papers presented at the joint meeting of the Fifth International Conference on Logic Programming and the Fifth Symposium on Logic Programming ... held Aug. 15 - 19, 1988 at the Univ. of Washington, Seattle] ed. by Robert A. Kowalski ... |
| title_short | Logic programming |
| title_sort | logic programming proceedings of the fifth international conference and symposium papers presented at the joint meeting of the fifth international conference on logic programming and the fifth symposium on logic programming held aug 15 19 1988 at the univ of washington seattle |
| title_sub | proceedings of the fifth international conference and symposium ; [papers presented at the joint meeting of the Fifth International Conference on Logic Programming and the Fifth Symposium on Logic Programming ... held Aug. 15 - 19, 1988 at the Univ. of Washington, Seattle] |
| topic | Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Logische Programmierung Konferenzschrift 1988 Seattle Wash. |
| work_keys_str_mv | AT kowalskirobert logicprogrammingproceedingsofthefifthinternationalconferenceandsymposiumpaperspresentedatthejointmeetingofthefifthinternationalconferenceonlogicprogrammingandthefifthsymposiumonlogicprogrammingheldaug15191988attheunivofwashingtonseattle AT internationalconferenceonlogicprogrammingseattlewash logicprogrammingproceedingsofthefifthinternationalconferenceandsymposiumpaperspresentedatthejointmeetingofthefifthinternationalconferenceonlogicprogrammingandthefifthsymposiumonlogicprogrammingheldaug15191988attheunivofwashingtonseattle AT symposiumonlogicprogrammingseattlewash logicprogrammingproceedingsofthefifthinternationalconferenceandsymposiumpaperspresentedatthejointmeetingofthefifthinternationalconferenceonlogicprogrammingandthefifthsymposiumonlogicprogrammingheldaug15191988attheunivofwashingtonseattle |