Advances in Proof-Theoretic Semantics

フォーマット:

電子ブック

責任表示:

Piecha, Thomas; Schroeder-Heister, Peter ; Piecha, Thomas ; Schroeder-Heister, Peter

言語:

英語

出版情報:

Cham : Springer International Publishing, 2016

著者名:

ISBN:

9783319226859 [3319226851]

9783319226866 [331922686X]

子書誌情報

オンライン

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Proof Theory in Computer Science PTCS 2001, Kahle, Reinhard, Schroeder-Heister, Peter Joseph, Stärk, Robert F. Springer Berlin Heidelberg	7 図書 Vom Sachsenspiegel zum Grundgesetz : eine deutsche Rechtsgeschichte in Lebensbildern Schroeder, Klaus-Peter, 1947- C.H. Beck
2 電子ブック Extensions of Logic Programming Schroeder-Heister, Schroeder-Heister, Peter Joseph Springer Berlin Heidelberg	8 図書 Syntax and semantics Kimball, John P., Cole, Peter, 1941- Seminar Press
3 電子ブック Extensions of Logic Programming Eriksson, Eriksson, Lars-Henrik, Hallnäs, Lars, Schroeder-Heister, Peter Joseph Springer Berlin Heidelberg	9 電子ブック Semantics and Syntax in Complementation Menzel, Peter De Gruyter
4 電子ブック Extensions of Logic Programming ELP '96, Dyckhoff, Roy, Herre, Heinrich, Schroeder-Heister, Peter Joseph Springer Berlin Heidelberg	10 図書 Complex proofs of real theorems Lax, Peter D., 1926-, Zalcman, Lawrence American Mathematical Society
5 図書 Game-theoretical semantics : essays on semantics Hintikka, Jaakko, 1929-, Saarinen, Esa, 1953- D. Reidel Pub. Co.	11 図書 The theoretical framework Balogh, Thomas Basil Blackwell
6 図書 Action semantics Mosses, Peter D. Cambridge University Press	12 図書 The English progressive : semantics and history Reckenwald, Robert Peter, 1937- University Microfilms International