搜索结果: 1-1 共查到“逻辑学 information”相关记录1条 . 查询时间(0.231 秒)
1
Guarded Quantification in Least Fixed Point Logic McColm,Gregory; Journal of Logic, Language and Information； 0925-8531； 200424 ; 13卷1 期 ； 61-110 页 文摘：
We develop a variant of Least Fixed Point ...