語系
Baltag, Alexandru.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Dynamic logicnew trends and applications : second International Workshop, DaLi 2019, Porto, Portugal, October 7-11, 2019 : proceedings /
by:
(1998 :); Baltag, Alexandru.; Soares Barbosa, Luis.; SpringerLink (Online service)
(書目-電子資源)
Logic, rationality, and interaction6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings /
by:
(1998 :); Baltag, Alexandru.; Seligman, Jeremy.; SpringerLink (Online service); Yamada, Tomoyuki.
(書目-電子資源)
Johan van Benthem on logic and information dynamics
by:
Baltag, Alexandru.; Smets, Sonja.; 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.