Lin, Shang-Wei.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal Methods and Software Engineering = 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings /
by:
Mahony, Brendan.; SpringerLink (Online service); Lin, Shang-Wei.; Hou, Zhe.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Application software.
Computer logic.
Artificial intelligence.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Software engineering.
Natural Language Processing (NLP).
Natural language processing (Computer science).
Theory of Computation.
Logic in AI.
Computers.
Information Systems Applications (incl. Internet).