Logic programming : proceedings of the sixth international conference
著者
書誌事項
Logic programming : proceedings of the sixth international conference
(Logic programming)
MIT Press, c1989
- : pbk
並立書誌 全1件
大学図書館所蔵 件 / 全32件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"This volume contains the papers presented at the Sixth International Conference on Logic Programming, held in Lisbon, Portugal, June 19-23, 1989."--Foreword
内容説明・目次
- 巻冊次
-
ISBN 9780262620642
内容説明
The contributors take up applications of logic programming, logic programming and databases, theory of logic and functional programming, parallel executing of logic programs, implementation of logic programming systems, and inference machines."Logic Programming: Proceedings of the, North American Conference 1989" is included in the series Logic Programming Research Reports and Notes, edited by Ehud Shapiro.Two-volume set
- 巻冊次
-
: pbk ISBN 9780262620659
内容説明
These 39 contributions cover a broad range of topics, including applications, architectures, complexity, concurrent languages, constraint languages, deductive databases, higher-order languages and extensions, language issues, program development tools and methodology, relations to other computational models, relations with artificial intelligence, sequential and parallel implementations, and theory and foundations."Logic Programming: Proceedings of the Sixth International Conference" is included in the series Logic Programming Research Reports and Notes, edited by Ehud Shapiro.
「Nielsen BookData」 より