Soares Barbosa, Luís.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.