Languages
Baltag, Alexandru.
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [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 :)
(Language materials, printed)
Subjects
Software Engineering.
Artificial intelligence
Computer System Implementation.
Computer logic.
Artificial intelligence.
Special Purpose and Application-Based Systems.
Software engineering.
Logic
Logic in AI.
Architecture, Computer.
Computer Science.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Special purpose computers.