摘要：MCA程序的理论研究
作者：Victor W. Marek, Ilkka Niemela, Miroslaw Truszczynski
论文ID：cs/0310063
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中