Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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.