語系
Baltag, Alexandru.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Dynamic Logic. New Trends and Applications = Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings /
by:
SpringerLink (Online service); Baltag, Alexandru.; Soares Barbosa, Luís.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic, rationality, and interaction = 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings /
by:
SpringerLink (Online service); Baltag, Alexandru.; Yamada, Tomoyuki.; Seligman, Jeremy.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Artificial intelligence
Computer System Implementation.
Computer logic.
Special Purpose and Application-Based Systems.
Artificial intelligence.
Software engineering.
Logic
Logic in AI.
Architecture, Computer.
Computer Science.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Special purpose computers.