Logic programming languages : constraints, functions, and objects

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

Tác giả: Krzysztof R Apt, J. W. de Bakker, J. J. M. M Rutten

Ngôn ngữ: eng

ISBN-10: 0262011344

ISBN-13: 978-0262255646

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

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

Mô tả vật lý: 1 PDF (xiv, 204 pages).

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

ID: 313270

This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects.
- Chapter s are grouped according to the unifying themes of functional programming, constraint, logic programming, and object-oriented programming.
Includes bibliographical references (p. [185]-201).
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