EdShare


Advanced search

Browse by Tags: automated reasoning

Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
Number of items: 2.

Automated Reasoning
Profile PictureDr Nicholas Gibbins
Shared with: University

Automated Reasoning II
Resolution over FOPL

Profile PictureDr Nicholas Gibbins
Shared with: University

This list was generated on Tue May 21 18:35:18 2013 BST.
Tag Cloud | Latest Additions | Help | Take-down Policy | Terms and Conditions | Guide for adding content to EdShare

For any questions or feedback, please contact us.
Copyright © 2008-2010 University of Southampton

EdShare is powered by EdShare, an extension to EPrints.
EdShare was produced by the EdSpace and OneShare projects and JISC logo