Algebraic logic - Congresses.

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

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: (書目-語言資料,印刷品)

Formal methods (Computer science)

Symbolic and Algebraic Manipulation.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Computer science

Artificial Intelligence.

Computer Science, general.

Algebra.

Order, Lattices, Ordered Algebraic Structures.

Software Engineering.

Knowledge Based Systems.

Algebraic logic

Database Management System.

Logic in AI.

Mathematics of Computing.

Computer Science.

Relation algebras

Discrete Mathematics in Computer Science.

Data Mining and Knowledge Discovery.