TY  - GEN
N2  - 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.
AB  - 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.
T1  - Logic programming :proceedings of the 1996 Joint International Conference and Symposium on Logic Programming /
DA  - ©1996.
CY  - Cambridge, Mass. ;
CY  - London :
AU  - Maher, Michael,
CN  - QA76.63
PB  - MIT,
PP  - Cambridge, Mass. ;
PP  - London :
PY  - ©1996.
N1  - Includes index.
ID  - 1412264
KW  - Logic programming
KW  - COMPUTER SCIENCE/Programming Languages
SN  - 9780262291309
SN  - 0262291304
TI  - Logic programming :proceedings of the 1996 Joint International Conference and Symposium on Logic Programming /
LK  - https://univsouthin.idm.oclc.org/login?url=https://doi.org/10.7551/mitpress/4302.001.0001?locatt=mode:legacy
LK  - http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
UR  - https://univsouthin.idm.oclc.org/login?url=https://doi.org/10.7551/mitpress/4302.001.0001?locatt=mode:legacy
UR  - http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
ER  -