Mahony, Brendan.
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); Hou, Zhe.; Lin, Shang-Wei.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Application software.
Artificial intelligence.
Computer logic.
Computers.
Information Systems Applications (incl. Internet).
Logic in AI.
Natural language processing (Computer science).
Natural Language Processing (NLP).
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Software engineering.
Software Engineering.
Theory of Computation.