Logic programming: proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, i...
Gespeichert in:
Körperschaft: | |
---|---|
Weitere beteiligte Personen: | |
Format: | Tagungsbericht E-Book |
Sprache: | Englisch |
Veröffentlicht: |
Cambridge, Mass.
MIT
©1996
|
Links: | https://doi.org/10.7551/mitpress/4302.001.0001?locatt=mode:legacy |
Zusammenfassung: | September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. The contributors are international, with strong contingents from the United States, United Kingdom, France, and Japan. Logic Programming series, Research Reports and Notes. |
Beschreibung: | Includes index. |
Umfang: | 1 Online-Ressource (xix, 554 Seiten) Illustrationen |
ISBN: | 0262291304 9780262291309 |
Internformat
MARC
LEADER | 00000cam a2200000Ka 4500 | ||
---|---|---|---|
001 | ZDB-260-MPOB-4302 | ||
003 | MaCbMITP | ||
005 | 20190503073411.0 | ||
006 | m o d | ||
007 | cr cnu---unuuu | ||
008 | 130212s1996 maua o 101 0 eng d | ||
020 | |a 0262291304 | ||
020 | |a 9780262291309 | ||
111 | 2 | |a Joint International Conference and Symposium on Logic Programming |d (1996 : |c Bonn, Germany) | |
245 | 1 | 0 | |a Logic programming |b proceedings of the 1996 Joint International Conference and Symposium on Logic Programming |c edited by Michael Maher |
264 | 1 | |a Cambridge, Mass. |b MIT |c ©1996 | |
300 | |a 1 Online-Ressource (xix, 554 Seiten) |b Illustrationen | ||
336 | |b txt | ||
337 | |b c | ||
338 | |b cr | ||
500 | |a Includes index. | ||
520 | |a September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. The contributors are international, with strong contingents from the United States, United Kingdom, France, and Japan. Logic Programming series, Research Reports and Notes. | ||
700 | 1 | |a Maher, Michael |d 1959- | |
776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 0262631733 |
776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780262631730 |
966 | 4 | 0 | |l DE-91 |p ZDB-260-MPOB |q TUM_PDA_MPOB |3 MIT Press |u https://doi.org/10.7551/mitpress/4302.001.0001?locatt=mode:legacy |3 Volltext |
912 | |a ZDB-260-MPOB | ||
912 | |a ZDB-260-MPOB | ||
049 | |a DE-91 |
Datensatz im Suchindex
DE-BY-TUM_katkey | ZDB-260-MPOB-4302 |
---|---|
_version_ | 1821493840026009600 |
adam_text | |
any_adam_object | |
author2 | Maher, Michael 1959- |
author2_role | |
author2_variant | m m mm |
author_corporate | Joint International Conference and Symposium on Logic Programming Bonn, Germany |
author_corporate_role | |
author_facet | Maher, Michael 1959- Joint International Conference and Symposium on Logic Programming Bonn, Germany |
author_sort | Joint International Conference and Symposium on Logic Programming Bonn, Germany |
building | Verbundindex |
bvnumber | localTUM |
collection | ZDB-260-MPOB |
format | Conference Proceeding eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01723cam a2200289Ka 4500</leader><controlfield tag="001">ZDB-260-MPOB-4302</controlfield><controlfield tag="003">MaCbMITP</controlfield><controlfield tag="005">20190503073411.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">130212s1996 maua o 101 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262291304</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262291309</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Joint International Conference and Symposium on Logic Programming</subfield><subfield code="d">(1996 :</subfield><subfield code="c">Bonn, Germany)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic programming</subfield><subfield code="b">proceedings of the 1996 Joint International Conference and Symposium on Logic Programming</subfield><subfield code="c">edited by Michael Maher</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">MIT</subfield><subfield code="c">©1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xix, 554 Seiten)</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes index.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. The contributors are international, with strong contingents from the United States, United Kingdom, France, and Japan. Logic Programming series, Research Reports and Notes.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Maher, Michael</subfield><subfield code="d">1959-</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">0262631733</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780262631730</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-260-MPOB</subfield><subfield code="q">TUM_PDA_MPOB</subfield><subfield code="3">MIT Press</subfield><subfield code="u">https://doi.org/10.7551/mitpress/4302.001.0001?locatt=mode:legacy</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-260-MPOB</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-260-MPOB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
id | ZDB-260-MPOB-4302 |
illustrated | Illustrated |
indexdate | 2025-01-17T11:04:52Z |
institution | BVB |
isbn | 0262291304 9780262291309 |
language | English |
open_access_boolean | |
owner | DE-91 DE-BY-TUM |
owner_facet | DE-91 DE-BY-TUM |
physical | 1 Online-Ressource (xix, 554 Seiten) Illustrationen |
psigel | ZDB-260-MPOB TUM_PDA_MPOB ZDB-260-MPOB |
publishDate | 1996 |
publishDateSearch | 1996 |
publishDateSort | 1996 |
publisher | MIT |
record_format | marc |
spelling | Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany) Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming edited by Michael Maher Cambridge, Mass. MIT ©1996 1 Online-Ressource (xix, 554 Seiten) Illustrationen txt c cr Includes index. September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. The contributors are international, with strong contingents from the United States, United Kingdom, France, and Japan. Logic Programming series, Research Reports and Notes. Maher, Michael 1959- Erscheint auch als Druck-Ausgabe 0262631733 Erscheint auch als Druck-Ausgabe 9780262631730 |
spellingShingle | Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming |
title | Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming |
title_auth | Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming |
title_exact_search | Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming |
title_full | Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming edited by Michael Maher |
title_fullStr | Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming edited by Michael Maher |
title_full_unstemmed | Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming edited by Michael Maher |
title_short | Logic programming |
title_sort | logic programming proceedings of the 1996 joint international conference and symposium on logic programming |
title_sub | proceedings of the 1996 Joint International Conference and Symposium on Logic Programming |
work_keys_str_mv | AT jointinternationalconferenceandsymposiumonlogicprogrammingbonngermany logicprogrammingproceedingsofthe1996jointinternationalconferenceandsymposiumonlogicprogramming AT mahermichael logicprogrammingproceedingsofthe1996jointinternationalconferenceandsymposiumonlogicprogramming |