Request a document copy: Automated reasoning support for first-order ontologies
Updated: 16 April 2019/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator
Updated: 16 April 2019/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator