Logic programming : proceedings of the 1995 international symposium

• Tác giả: John Lloyd
• Ngôn ngữ: eng
• ISBN-13: 978-0262291248
• Ký hiệu phân loại: 005.1 Programming
• Thông tin xuất bản: Cambridge, Massachusetts : MIT Press, 1995.
• Mô tả vật lý: 1 PDF (ix, 646 pages) : , illustrations.
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 313578
• Chủ đề: 1. Logic programming--Congresses

Includes bibliographical references and index.

Tóm tắt

The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. Both conferences are held annually. The theme for the 1995 conference was "Declarative Systems," particularly the integration of the logic programming, functional programming, and object-oriented programming paradigms.