Winter, Michael.
概要
| 作品: | 5 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Relational topology
by:
Schmidt, Gunther.; SpringerLink (Online service); Winter, Michael.
(書目-電子資源)
Relational and algebraic methods in computer science18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020 : proceedings /
by:
(1998 :); Fahrenberg, Uli.; Jipsen, Peter.; SpringerLink (Online service); Winter, Michael.
(書目-電子資源)
Relational and algebraic methods in computer science20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023 : proceedings /
by:
(1998 :); Glück, Roland.; Santocanale, Luigi.; SpringerLink (Online service); Winter, Michael.
(書目-電子資源)
Relational Methods in Computer Science8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers /
by:
(1998 :); Duntsch, Ivo.; MacCaull, Wendy.; SpringerLink (Online service); Winter, Michael.
(書目-電子資源)
Relational and algebraic methods in computer science15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015 : proceedings /
by:
(1998 :); Kahl, Wolfram.; Oliveira, Jose.; SpringerLink (Online service); Winter, Michael.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Virtue.
Philosophy.
Personality and Social Psychology.
Algebraic logic
Computer Science, general.
Topology.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Ethics.
Information Systems and Communication Service.
Logic in AI.
Mathematics of Computing.
Algebra
Artificial Intelligence (incl. Robotics)
Mathematical Applications in Computer Science.
Mathematics.
Category Theory, Homological Algebra.
Numeric Computing.
Database Management System.
Data Mining and Knowledge Discovery.
Computer science
Relation algebras
Artificial Intelligence.
Relationism
Computer Science.
Discrete Mathematics in Computer Science.
Discrete Mathematics.
Knowledge Based Systems.
Symbolic and Algebraic Manipulation.
General Algebraic Systems.