A Proof Theory for Description Logics girro 2015年5月23日 9 阅读 0 评论 未分类 A Proof Theory for Description Logics Hardcover: 108 pages Publisher: Springer (May 17, 2012) Language: English ISBN-10: 144714001X 代发服务PDF电子书10元立即求助