| Slideshow ["licenses_imagelink_cc_by_nc_nd" not defined] | Download (425kB) |
 8_-_Automated_Reasoning.pptx |
Automated Reasoning II
Resolution over FOPL
| Added By: |
Dr Nicholas Gibbins
|
|---|---|
| Date Added: | 30 Nov 2010 16:04 |
| Creators Name: | |
| Tags: | resolution, automated reasoning |
| Viewing permissions: | University |
| Course codes: | COMP3028 |
| Link: | http://edshare.soton.ac.uk/id/eprint/6256 |
| Downloads & Views |  |
 |
