EdShare
Home
Browse
By Year
By Author
Tags
Course code
University structure
Share
About
Help
Login
Login
Automated Reasoning II
Loading previews...
8_-_Automated_Reasoning.pptx
Slideshow
["licenses_imagelink_cc_by_nc_nd" not defined]
Download
(425kB)
8_-_Automated_Reasoning.pptx
1 file in this resource
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
Actions (login required)
View Item
Toolbox
In order to use the Toolbox you must have JavaScript enabled.
There are no actions available for this resource.
Collection(s)
COMP3028 Knowledge Technologies 2010-2011