The top documents tagged [new inference rules]
CPSC 125 Ch 1 sec 4
1.035 views
Inference in First-Order Logic
35 views
Inference in First-Order Logic
38 views