Interactive+Theorem+Proving+and+Program+Development.

【文件属性】：

文件名称：Interactive+Theorem+Proving+and+Program+Development.

文件大小：3.17MB

文件格式：DJVU

更新时间：2015-11-05 22:32:52

Interactive Theorem Proving

Interactive+Theorem+Proving+and+Program+Development.