ACM Special Interest Group on Logic and Computation

GPTKB entity