Relation algebras - Congresses.

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: (書目-電子資源)

Relational and Kleene-algebraic methods in computer science7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers / by: (書目-電子資源)

Relations and kleene algebra in computer science11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings / by: (書目-電子資源)

Relational and algebraic methods in computer science15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015 : proceedings / by: (書目-電子資源)

Relational and algebraic methods in computer science16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017 : proceedings / by: (書目-電子資源)

Relational and algebraic methods in computer science17th International Conference, RAMiCS 2018, Groningen, the Netherlands, October 29 - November 1, 2018 : proceedings / by: (書目-電子資源)

Relational and algebraic methods in computer science18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020 : proceedings / by: (書目-電子資源)

Relational and algebraic methods in computer science19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings / by: (書目-電子資源)

Relational and algebraic methods in computer science20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023 : proceedings / by: (書目-電子資源)

Mathematical Logic and Formal Languages.

Software Engineering.

Algebraic logic

Computer Science, general.

Theory of Computation.

Mathematical Logic and Foundations.

Logics and Meanings of Programs.

Algebra.

Information Systems and Communication Service.

Logic in AI.

Mathematics of Computing.

Algebra

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Numeric Computing.

Database Management System.

Data Mining and Knowledge Discovery.

Computer science

Relation algebras

Order, Lattices, Ordered Algebraic Structures.

Artificial Intelligence.

Relationism

Computer Science.

Discrete Mathematics in Computer Science.

Knowledge Based Systems.

Symbolic and Algebraic Manipulation.