電子書書目整合查詢結果
主題
Mathematical Logic and Foundations. (3)
Mathematical Logic and Formal Languages. (2)
Computer System Implementation. (1)
Mathematics of Computing. (1)
Theory of Computation. (1)
Programming Techniques. (1)
Logic. (1)
Logic in AI. (1)
Semantics. (1)
Logics and Meanings of Programs. (1)
分類號
401.51 (1)
401.43 (1)
401 (1)
出版年
2011 (1)
出版者
Springer-Verlag GmbH Berlin Heidelberg, (1)
總筆數:3
書名
作者
出版年
查看
回報錯誤連結
Constructive semantics :meaning in between phenomenology and constructivism /
Christina Weiss.
查看
回報問題連結
Dynamics in logic and language :third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, virtual event, April 1-4, 2022 : revised selected papers /
Dun Deng, Mingming Liu, Dag Westerstahl, Kaibo Xie.
查看
回報問題連結
The mathematics of language:12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings /
Makoto Kanazawa ... [et al.].
2011
查看
回報問題連結
上一頁
第1頁/共1頁/跳至
1
頁
下一頁
