Members

Members and invited societies and interest groups include

Some Tags: logic, automated deduction, rewriting, group, Theorem Proving, Description Logics, Conference, applications, reasoning, Symbolic Computation