Logic programming : Proceedings of the Fourteenth International Conference on Logic Programming

著者

• Naish, Lee
• International Conference on Logic Programming

書誌事項

Logic programming : Proceedings of the Fourteenth International Conference on Logic Programming

edited by Lee Naish

（Logic programming）

MIT Press, c1997

注記

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

• NII書誌ID(NCID): BA32229220
• ISBN:
  • 026264035X
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge, Mass.
• ページ数/冊数: xvii, 426 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA76.63
  • DC20 : 006.3
• 件名:
  • LCSH : Logic programming -- Congresses
• 親書誌ID:
  • BA07047811