哲学 >>> 哲学 >>> 逻辑学 >>> 逻辑史 形式逻辑 哲理逻辑 语言逻辑 归纳逻辑 辩证逻辑 逻辑学其他学科
搜索结果: 1-3 共查到逻辑学 Language相关记录3条 . 查询时间(0.171 秒)
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 ...
From their first beginnings in ancient Greece and India, logic and the study of language have been closely entwined. Logic takes its source in the process of reasoning; language is the basic means for...
The Centre for Logic, Language and Computation was established in February 2001. CLLC consists of people from mathematics, computer science, philosophy and linguistics. Mathematics and computer scien...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...