Lecture Notes in Computer Science 3208 Principles and Practice of Semantic Web Reasoning Second Inte
PPSWR 20042004 年出版163 页ISBN:3540229612
哲学是怎样炼成的:从普通常识到逻辑推理=DOING PHILOSOPHY FROM COMMON CURIOSITY TO LOGICAL REASONING
(英)蒂莫西·威廉森2019 年出版0 页ISBN:
Structured Problem Analysis and Logic Design
Victor E.Broquard1985 年出版266 页ISBN: