語系
Winter, Michael.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Relational and algebraic methods in computer science = 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023 : proceedings /
by:
Winter, Michael.; SpringerLink (Online service); Santocanale, Luigi.; RAMiCS (Conference) (2023 :); Glück, Roland.
(書目-電子資源)
Relational topology
by:
Schmidt, Gunther.; Winter, Michael.; 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)
(書目-電子資源)
Relational and algebraic methods in computer science = 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015 : proceedings /
by:
Kahl, Wolfram.; Winter, Michael.; Oliveira, Jose.; SpringerLink (Online service)
(書目-電子資源)
主題
Algebraic logic
Computer Science, general.
Topology.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Information Systems and Communication Service.
Logics and Meanings of Programs.
Logic in AI.
Mathematics of Computing.
Mathematical Applications in Computer Science.
Computer science- Mathematics
Mathematics.
Category Theory, Homological Algebra.
Numeric Computing.
Database Management System.
Data Mining and Knowledge Discovery.
Relation algebras
Artificial Intelligence.
Computer Science.
Discrete Mathematics.
Knowledge Based Systems.
General Algebraic Systems.