Winter, Michael.
Overview
| Works: | 5 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Relational topology
by:
Schmidt, Gunther.; SpringerLink (Online service); Winter, Michael.
(Electronic resources)
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.
(Electronic resources)
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.
(Electronic resources)
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.
(Electronic resources)
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.
(Electronic resources)
Subjects
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.