Description
Resolution over FOPL
Resource details
| Added By: | |
|---|---|
| Added On: | 30 Nov 2010 16:04 |
| Creators: | Nicholas Gibbins |
| Tags: | resolution, automated reasoning |
| Course codes: | COMP3028 |
| Permissions: | University |
| Link: | http://www.edshare.soton.ac.uk/6256/ |
| Downloads: | |
| Views: |
Toolbox
Collection(s)
Loading previews... Microsoft PowerPoint  | Download |
 8_-_Automated_Reasoning.pptx |
