Mike Reed honoring Dines Bjørner and Zhou Chaochen at ICTAC
Uploader: bimalshahnepal
Original upload date: Thu, 27 Sep 2007 00:00:00 GMT
Archive date: Thu, 02 Dec 2021 15:41:14 GMT
The 4th International Colloquium on Theoretical Aspects of Computing
26 September - 28 September 2007
Macao SAR, China