Logic programming : proceedings of the 1994 international symposium

著者

• Bruynooghe, M. (Maurice)
• International Conference on Logic Programming
• Association for Logic Programming

書誌事項

Logic programming : proceedings of the 1994 international symposium

edited by Maurice Bruynooghe

MIT, c1994

注記

Includes bibliographical reference and index

内容説明・目次

内容説明

November 13-17, 1994, Ithaca, New York The 1994 International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. It is held annually in North America. Theses tutorials, invited lectures, and refereed papers cover all aspects of logic programming including constraints, concurrency and parallelism, deductive databases, implementations and architectures, metaprogramming and higher-order programming, proof theory, and semantic analysis. Logic Programming series, Research Reports and Notes

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA2401660X
• ISBN:
  • 0262521911
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge, [Mass.] ; London
• ページ数/冊数: xxii, 690 p.
• 大きさ: 23 cm
• 分類:
  • DC20 : 005.131
• 件名:
  • LCSH : Logic programming -- Congresses