Deng, Dun.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Monotonicity in Logic and Language = Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings /
by:
Liu, Mingming.; Deng, Dun.; Westerståhl, Dag.; Liu, Fenrong.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Computer logic.
Artificial intelligence.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Software engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Natural Language Processing (NLP).
Natural language processing (Computer science).
Logic in AI.