E:2405

AI seminar: Automatic Theorem Proving in Labelled Deductive Systems

Date: April 02, 2004 (Friday) at 16:15 to 17:00

Speaker: Sonia Fabre

Room: E:2405

Last modified Dec 9, 2011 12:59 pm

0908