School Seminar Series

Deductive Temporal Reasoning with Constraints

28th October 2008, 16:00 add to calender
Dr Clare Dixon
Department of Computer Science, University of Liverpool, UK