| 刊年 | 1996 |
| G/SMD | リモートファイル |
| 形態 | 1 online resource (xix, 554 p.) : ill. |
| 別書名 | JICSLP '96
Joint International Conference and Symposium on Logic Programming
Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
|
| シリーズ名 | Logic programming series
|
| 注記 | Includes bibliographical references
Restricted to subscribers or individual electronic text purchasers
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
Also available in print
Mode of access: World Wide Web
Description based on PDF viewed 12/28/2015
URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515(Abstract with links to resource) |
| 出版国 | アメリカ合衆国 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 著者情報 | Maher, Michael
Joint International Conference and Symposium on Logic Programming
|
| ISBN | 9780262291309(: electronic bk)
|
| 無効/取消ISBN | 9780262631730(: electronic bk)
|
| 件名 | LCSH:Logicprogramming
|
| NCID | 6267515 |
| IDENT | https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515 |