COMP61132: Modal Logic and Description Logics

Renate A. Schmidt
Home | Publications | FM Group | School | Man Univ
Last modified: 25 Jan 13
Copyright © 2010-12 Renate A. Schmidt, School, Man Univ, schmidt@cs.man.ac.uk