EdShare
Home
Browse
By Year
By Author
Tags
Course code
University structure
Share
About
Help
Login
Login
Browse by Tags: resolution
Up a level
Export as
ASCII Citation
BibTeX
Dublin Core
EP3 XML
EndNote
Export::Xapian plugin is missing the name parameter
HTML Citation
JSON
METS
Multiline CSV
Object IDs
OpenURL ContextObject
RDF+N-Triples
RDF+N3
RDF+XML
Refer
Reference Manager
Zip
Atom
RSS 1.0
RSS 2.0
Number of items:
2
.
Automated Reasoning
Shared with the University by
Dr Nicholas Gibbins
Automated Reasoning II
Resolution over FOPL
Shared with the University by
Dr Nicholas Gibbins
This list was generated on
Sat Dec 21 17:24:08 2024 UTC
.