描述逻辑中关于极小改变可靠和完备的修正演算

描述逻辑中关于极小改变可靠和完备的修正演算

出版年：2018

作者：王雨晖

资源类型：图书

细分类型：学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

语义Web中的描述逻辑方法研究

作者：向胜军
出版年：2007

数字逻辑设计与VHDL描述

作者：徐惠民
ISBN：7111099559
出版社：机械工业出版社
出版年：2002

语义 Web 中描述逻辑本体的可伸缩推理和非一致处理

作者：杜剑峰
出版社：中国科学院
出版年：2009

语义Web中描述逻辑本体的可伸缩推理和非一致处理

作者：杜剑峰
出版年：2009

双层缺省逻辑和双层缺省描述逻辑研究

作者：臧良俊
出版年：2013

VHDL硬件描述语言与数字逻辑电路设计

作者：侯伯亨
ISBN：9787560649122
出版社：西安电子科技大学出版社
出版年：2019