Mathematical Aspects of Logic Programming Semantics

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

Tác giả: Pascal Hitzler, Anthony Seda

Ngôn ngữ: eng

ISBN-13: 978-1439829615

Ký hiệu phân loại: 005.115 Logic programming

Thông tin xuất bản: Boca Raton, FL : Taylor & Francis, 2011

Mô tả vật lý: 1 electronic resource (304 p.)

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

ID: 181944

Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance functions, and associated fixed-point theory. The authors closely examine the interrelationships between various semantics as well as the integration of logic programming and connectionist systems/neural networks.
1. 
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