面向对象空间逻辑

本书重点介绍面向对象空间逻辑的基本概念、运算、模型、推理规则以及应用形式。

2009.8