搜索结果: 1-2 共查到“逻辑学 Computation”相关记录2条 . 查询时间(0.089 秒)
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...