Resource details
| Added By: | |
|---|---|
| Added On: | 16 Nov 2010 22:27 |
| Creators: | Nicholas Gibbins |
| Tags: | automated reasoning, analytic tableaux, resolution |
| Course codes: | COMP3028 |
| Permissions: | University |
| Link: | http://www.edshare.soton.ac.uk/6188/ |
| Downloads: | |
| Views: |
Toolbox
Collection(s)
Loading previews... Microsoft PowerPoint  | Download |
 7_-_Automated_Reasoning.ppt |  Computational Modelling of Automated Reasoning |
