語系
Fahrenberg, Uli.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Relational and algebraic methods in computer science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings /
by:
RAMiCS (Conference) (2021 :); Fahrenberg, Uli.; SpringerLink (Online service)
(書目-電子資源)
Relational and algebraic methods in computer science = 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020 : proceedings /
by:
RAMiCS (Conference) (2020 :); Fahrenberg, Uli.; Jipsen, Peter.; Winter, Michael.; SpringerLink (Online service)
(書目-電子資源)
主題
Algebraic logic
Mathematical Logic and Formal Languages.
Theory of Computation.
Mathematical Logic and Foundations.
Information Systems and Communication Service.
Logics and Meanings of Programs.
Logic in AI.
Mathematics of Computing.
Computer science- Mathematics
Numeric Computing.
Relation algebras
Artificial Intelligence.