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