Deng, Dun.
Overview
| Works: | 2 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
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)
(Electronic resources)
Subjects
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.