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.
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.