ISCAS OpenIR  > 中科院软件所  > 中科院软件所
基于时段的时间逻辑推理系统
程庆文
1992
Degree Grantor中国科学院软件研究所
Degree Level博士
Place of Degree Grantor中国科学院软件研究所
English Abstract本文基于解决时段表示问题和命题分类问题,提出了一个基于时段的时间逻辑系统,详细给出该系统的语法、语义和公理系统,证明它的可靠性和完备性,并进一步论证本系统的推理机制。
Pages33
Language中文
Content Type学位论文
URIhttp://ir.iscas.ac.cn/handle/311060/6356
Collection中科院软件所_中科院软件所
Recommended Citation
GB/T 7714
程庆文. 基于时段的时间逻辑推理系统[D]. 中国科学院软件研究所. 中国科学院软件研究所,1992.
Files in This Item:
File Name/Size DocType Version Access License
N88258.pdf(1703KB) 限制开放--Application Full Text
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[程庆文]'s Articles
Baidu academic
Similar articles in Baidu academic
[程庆文]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[程庆文]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.