Learning Concepts Definable in First-Order Logic with Counting

Open in new window