熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 9 筆, 頁數 1 / 1
呈現:
Advances in Proof-theoretic Semantics
itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic...... more |
|||
The Logical Writings of Karl Popper
Schroeder-Heister).- Chapter 2. Are Contradictions Embracing? (1943) (Karl R. Popper).- Chapter 3. Logic without Assumptions (1947...... more |
|||
The Logical Writings of Karl Popper
Schroeder-Heister).- Chapter 2. Are Contradictions Embracing? (1943) (Karl R. Popper).- Chapter 3. Logic without Assumptions (1947...... more |
|||
Advances in Proof-Theoretic Semantics
itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic...... more |
|||
Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
|
|||
Extensions of Logic Programming: 5th International Workshop, ELP ’’96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.
|
|||
Substructural Logics
Substructural logics comprise a family of nonclassical logics that arose in response to problems in ... more |
|||
Extensions of Logic Programming: Second International Workshop, ELP ’’91, Stockholm, Sweden, January 27-29, 1991. Proceedings
|
|||
Extensions of Logic Programming: International Workshop, Tübingen, Frg, December 8-10, 1989. Proceedings
This volume contains papers presented at an international workshop. It gives an overview of various ... more |