Request a document copy: COOL-A generic reasoner for coalgebraic hybrid logics (System description)
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