西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

面向对象空间逻辑/毛明毅, 陈志成, 何华灿著

出版发行项:

西安:西北工业大学出版社,2009

ISBN及定价:

978-7-5612-2646-9/CNY30.00

载体形态项:

200页:图;23cm

并列正题名:

Object-oriented spatial logic

个人责任者:

毛明毅 1974- 著

个人责任者:

陈志成 1973- 著

个人责任者:

何华灿 1938- 著

学科主题:

面向对象语言-程序设计

中图法分类号:

TP312

一般附注:

国家自然科学基金资助项目 (No. 6027308) 西北工业大学基础研究基金资助项目 (No. W018101) 北京工商大学学术专著出版资助项目

相关题名附注:

英文并列题名取自封面

书目附注:

有书目 (第191-200页)

提要文摘附注:

本书重点介绍了面向对象空间逻辑的基本概念、运算模型、推理规则以及应用形式。内容包括：绪论、逻辑基础与OSLOM、面向对象空间逻辑分析、面向对象空间逻辑运算模型、面向对象广义推理规则等。

豆瓣简介：