A 25-Year Perspective on Logic Programming A 25-Year Perspective on Logic Programming

A 25-Year Perspective on Logic Programming

Achievements of the Italian Association for Logic Programming, GULP

    • 79,99 US$
    • 79,99 US$

Lời Giới Thiệu Của Nhà Xuất Bản

This book celebrates the 25th anniversary of GULP - the Italian Association for Logic Programming. Authored by Italian researchers, it presents a state-of-the-art survey of logic programming, making it a useful reference for both researchers and students.

THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2010
26 tháng 6
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
343
Trang
NHÀ XUẤT BẢN
Springer Berlin Heidelberg
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
2,2
Mb
Unifying Theories of Programming Unifying Theories of Programming
2019
Concurrency, Graphs and Models Concurrency, Graphs and Models
2008
Intelligent Computer Mathematics Intelligent Computer Mathematics
2016
The Logic of Software. A Tasting Menu of Formal Methods The Logic of Software. A Tasting Menu of Formal Methods
2022
Reflections on the Work of C.A.R. Hoare Reflections on the Work of C.A.R. Hoare
2010
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
2011