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
Page Manager: Jonas Wisbrant
Publisher: Department of Computer Science