Deng, Dun.
概要
作品: | 2 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Dynamics in logic and languagethird Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, virtual event, April 1-4, 2022 : revised selected papers /
by:
(1998 :); Deng, Dun.; SpringerLink (Online service)
(書目-電子資源)
Monotonicity in logic and languagesecond Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020 : proceedings /
by:
(1998 :); Deng, Dun.; SpringerLink (Online service)
(書目-電子資源)
主題
Natural Language Processing (NLP)
Software Engineering.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Logic in AI.
Logics and Meanings of Programs.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Language and logic
Grammar, Comparative and general
Computer System Implementation.