Please note that this newsitem has been archived, and may contain outdated information or links.
31 October 2002, Master of Logic defense, Bernadette Hernandez
Candidate: Bernadette Hernandez
Title: Automated Reasoning with Boolean ABoxes
Date: Thursday 31 October 2002
Time: 13:30-14:30
Location: P.327 (Plantage Muidergracht 24)
Please note that this newsitem has been archived, and may contain outdated information or links.