Algebraic logic - Congresses.

Relations and kleene algebra in computer science = 11th 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 science = 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015 : proceedings / by: (書目-語言資料,印刷品)

Relational and Kleene-algebraic methods in computer science = 7th 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: (書目-語言資料,印刷品)

Cafe = an industrial-strength algebraic formal method / by: (書目-語言資料,印刷品)

Relational and algebraic methods in computer science = 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017 : proceedings / by: (書目-語言資料,印刷品)

Relational and algebraic methods in computer science = 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024 : proceedings / by: (書目-語言資料,印刷品)

Software Engineering.

Formal methods (Computer science)

Artificial Intelligence.

Knowledge Based Systems.

Symbolic and Algebraic Manipulation.

Algebraic logic

Database Management System.

Relation algebras

Logic in AI.

Discrete Mathematics in Computer Science.

Mathematics of Computing.

Computer Science.

Computer Science, general.

Algebra.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Computer science

Order, Lattices, Ordered Algebraic Structures.

Data Mining and Knowledge Discovery.