Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming

 0 Người đánh giá. Xếp hạng trung bình 0

Tác giả: Michael Maher

Ngôn ngữ: eng

ISBN-13: 978-0262291309

Ký hiệu phân loại: 005.131 Symbolic logic (Mathematical logic)

Thông tin xuất bản: Cambridge, Massachusetts ; MIT, 1996.

Mô tả vật lý: 1 PDF (xix, 554 pages) : , illustrations.

Bộ sưu tập: Tài liệu truy cập mở

ID: 313513

September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. The contributors are international, with strong contingents from the United States, United Kingdom, France, and Japan.Logic Programming series, Research Reports and Notes.
Includes bibliographical references.
Tạo bộ sưu tập với mã QR

THƯ VIỆN - TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TP.HCM

ĐT: (028) 71010608 | Email: tt.thuvien@hutech.edu.vn

Copyright @2024 THƯ VIỆN HUTECH