語系
Baltag, Alexandru.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic, rationality, and interaction = 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings /
by:
LORI (Workshop) (2017 :); Baltag, Alexandru.; Seligman, Jeremy.; Yamada, Tomoyuki.; SpringerLink (Online service)
(書目-電子資源)
Johan van Benthem on logic and information dynamics
by:
Baltag, Alexandru.; Smets, Sonja.; SpringerLink (Online service)
(書目-電子資源)
Dynamic logic = new trends and applications : second International Workshop, DaLi 2019, Porto, Portugal, October 7-11, 2019 : proceedings /
by:
DaLi (Internaional Workshop) (2019 :); Soares Barbosa, Luis.; Baltag, Alexandru.; SpringerLink (Online service)
(書目-電子資源)
主題
Logic.
Philosophy.
Mathematical Logic and Foundations.
Artificial intelligence
Mathematical Logic and Formal Languages.
Software engineering
Software Engineering.
Logics and Meanings of Programs.
Logic in AI.
Logic
Logic Design.
Computer logic
Special Purpose and Application-Based Systems.
Programming Languages, Compilers, Interpreters.
Dynamics.
Computer Science.
Computer System Implementation.