The top documents tagged [x likesx]
Resolution in FOL
136 views
Inference in First-Order Logic
35 views
Inference in First-Order Logic
38 views