CISA, School of Informatics University of Edinburgh Edinburgh EH8 9AB, Scotland;
CISA, School of Informatics University of Edinburgh Edinburgh EH8 9AB, Scotland;
CISA, School of Informatics University of Edinburgh Edinburgh EH8 9AB, Scotland;
机译:Ssreflect / Coq算法博弈论库
机译:在Coq / SSReflect中计算持久同源性
机译:将Coq + SSReflect与GAP接口
机译:ssreflect的本质
机译:Dunbar的本质:马里兰州巴尔的摩历史黑色学校精华的定性探索
机译:从啮齿动物的心脏移植模型的透视术后巨噬细胞的RhoA-和肌动蛋白依赖性功能 - 是本质
机译:在Coq / ssReflect中形式化的发病率单纯矩阵?
机译:ada编译器验证摘要报告,证书编号:920915W1.11267,meridian software systems,Inc。meridian ada,版本4.1.3 Essence 386在DOs 5.0下,运行ms Windows 3.0 => Essence 386在DOs 5.0下,运行ms Windows 3.0