About this document
Inference and Unification in First Order Logic by Mukesh is a document available to read on EtoBox.
- Author
- Mukesh
- Language
- EN
About this book
First order logic. Inference in first order logic, propositional Vs. first order inference, unification & lifts forward chaining, Backward chaining, Resolution
Details
Rate this book
Sign in to rate this book
Quick info
- Language
- en
- Availability
- Checking…