Soares Barbosa, Luís.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Dynamic Logic. New Trends and Applications = Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings /
by:
Soares Barbosa, Luís.; SpringerLink (Online service); Baltag, Alexandru.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Architecture, Computer.
Artificial intelligence.
Computer logic.
Computer System Implementation.
Logic in AI.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Software engineering.
Software Engineering.
Special Purpose and Application-Based Systems.
Special purpose computers.