Logic programming : proceedings of the sixth international conference

著者

• International Conference on Logic Programming
• Levi, Giorgio
• Martelli, Maurizio

書誌事項

Logic programming : proceedings of the sixth international conference

edited by Giorgio Levi and Maurizio Martelli

（Logic programming）

MIT Press, c1989

• : pbk

注記

"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」 より

詳細情報

• NII書誌ID(NCID): BA07299530
• ISBN:
  • 0262620642
  • 0262620650
• LCCN: 89038942
• LCCN: 89008295
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge, Mass.
• ページ数/冊数: viii, 692 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA76.63
  • DC20 : 005.1
• 件名:
  • LCSH : Logic programming -- Congresses
• 親書誌ID:
  • BA07047811