COMP60121: Automated Reasoning

Previous Deliveries


Renate A. Schmidt
Home | Publications | FM Group | School | Man Univ

Last modified: 16 Sep 10
Copyright © 2005-10 Renate A. Schmidt, School, Man Univ, schmidt@cs.man.ac.uk