Hintikka

常见例句

Knuuttila and J Hintikka (eds.), The Logic of Being, D. Reidel Publishing Company, 1986, p.1-2.
古汉语中的“是”作为指示代词就有这个意义，只可惜它不同时也是系动词。
The reasoning methods that rise by AR have been applied widespreadly. Semantic tableau method proposed by Beth (1959) and Hintikka (1955) was introduced to ATP by AI researcher later. Tableau method is virtually show binary relation in semantic structure.
语义tableau方法由Beth(1959)、Hintikka(1955)年提出，而后由人工智能研究者引入到自动定理证明中，tableau方法的实质是将语义结构中的二元关系显式地表现出来。