Logic programming : Proceedings of the Fourteenth International Conference on Logic Programming
著者
書誌事項
Logic programming : Proceedings of the Fourteenth International Conference on Logic Programming
(Logic programming)
MIT Press, c1997
大学図書館所蔵 件 / 全15件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"Papers presented at ICL'97, the Fourteenth International Conference on Logic Programming, held in Leuven, Belgium, July 8-11, 1997"--Pref
Includes bibliographical references and index
内容説明・目次
内容説明
Covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases,language design and implementation, non-monotonic reasoning, and logicprogramming and the Internet.8-12 July 1997, Leuven, Belgium The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, non-monotonic reasoning, and logic programming and the Internet.
「Nielsen BookData」 より