脡惫猫苍别尘别苍迟
Overcoming performance barriers: Efficient proof search in logical frameworks
Jeudi, 17 avril, 2003 10:00
Pavillon McConnell (g茅nie)
3480, rue University, Montr茅al, QC, H3A 0E9, CA
Dr Brigitte Pientka, Universit茅 Carnegie Mellon.