Lecture Notes in Computer Science 4010 Unifying Theories of Programming First International Symposiu
UTP 20062006 年出版257 页ISBN:354034750X
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN:
(德)希茨利尔等著;俞勇等译2012 年出版294 页ISBN:9787302289692
本书从实用的角度,从语义Web的发展开始,介绍了当今流行的几种语义Web技术,是国内外第一本关于语义Web技术的图书。