6 | ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems
![]() ![]() |
||
---|---|---|---|
°³ÃÖÀÏÀÚ | 2009/08/21 | ±¹³»/±¹¿Ü | |
ȨÆäÀÌÁö | http://plmms09.cs.tamu.edu/ | Àå ¼Ò | |
ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems August 21, 2009 Munich, Germany |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.