Loading previews...| Slideshow ["licenses_imagelink_cc_by_nc_nd" not defined] | Download (570kB) |
 7_-_Automated_Reasoning.ppt |  Computational Modelling of Automated Reasoning |
Automated Reasoning
| Added By: |
Dr Nicholas Gibbins
|
|---|---|
| Date Added: | 16 Nov 2010 22:27 |
| Creators Name: | |
| Tags: | automated reasoning, analytic tableaux, resolution |
| Viewing permissions: | University |
| Course codes: | COMP3028 |
| Link: | http://edshare.soton.ac.uk/id/eprint/6188 |
| Downloads & Views |  |
 |