<--- Back to Details
First PageDocument Content
Logic programming / Logic in computer science / Rules of inference / Automated theorem proving / Horn clause / Resolution / Clause / Prolog / Mathematical proof / Logic / Mathematics / Mathematical logic
Date: 2005-06-17 11:47:12
Logic programming
Logic in computer science
Rules of inference
Automated theorem proving
Horn clause
Resolution
Clause
Prolog
Mathematical proof
Logic
Mathematics
Mathematical logic

Chapter 9 SLD-Resolution And

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

Download Document from Web Archive

File Size: 202,82 KB