Event
Prakash Panangaden, 9I制作厂免费
Tuesday, November 7, 2017 14:30to15:30
Burnside Hall
Room 920, 805 rue Sherbrooke Ouest, Montreal, QC, H3A 0B9, CA
Quantitative equational logic