-
里昂
- 在10篇文章中引用[sw09159]
- 概述里昂验证系统:通过转换为递归函数进行验证。我们呈现。。。里昂Scala编程语言子集的验证系统。还有一些功能性的。。。Scala的特性,里昂支持命令结构,如突变和循环,使用翻译。。。功能形式。中的属性和程序里昂用用户定义的。。。
-
里昂
- 参考第2条[sw24616]
- 里昂:邻域的多重线形评估。序列比对是大范围。。。结果。这里我们提出了一种新的方法,里昂,以预测蛋白质之间的同源性。。。灵敏度估计为76%。里昂因此可以可靠地识别。。。
-
里昂
- 1条引用[sw11425]
- 里昂一个Maple包,用于实现里昂埃雷普瑞斯。。。还附有文章里昂的记忆]。其中一个地标。。。
-
皮德
- 在10篇文章中引用[sw06404号]
- Isabelle/jEdit——PIDE框架内的prover IDE。。。