• 里昂

• 10篇参考文献[SW09159]
• 概述里昂验证系统：通过翻译递归函数验证。我们提出…里昂Scala编程语言子集的验证系统。随着几个功能…斯卡拉的特点，里昂支持必要的构造，如突变和循环，使用翻译…功能形式。中的属性和程序里昂是用用户定义的…

• 里昂

• 2篇参考文献[SW24616]
• 里昂邻居的多重对齐评估。序列比对是广泛的基础。结果在这里，我们提出了一种新的方法，里昂预测蛋白质之间的同源性。敏感性为76%。里昂因此可以用来可靠地识别…

• 里昂

• 1篇参考文献[SW11425]
• 里昂一个枫叶包实现一些精彩的见解里昂Ehrepreis…也伴随着撰写的文章里昂记忆。其中一个地标…

• 马尔巴

• 22篇参考文献[SW05242]
• MalBA项目解决了组合的解决方案…

• 枫树

• 4879篇参考文献[SW0545 ]
• 30年以上的切割结果。

• 数学软件

• 5658篇参考文献[SW05354]
• 几乎任何工作流都涉及计算结果，并且…

• Python

• 1篇参考文献[SW079]
• 蟒蛇：一个专家榨汁机。巨蟒是个专家…

• 拉思

• 88篇参考文献[SW0799]
• 拉丝：寻找旅行孤独的枫叶包…

• 侦探

• 17篇参考文献[SW0876]
• 算法775：求解第四的代码SHIUTH…

• 伊莎贝尔/伊萨尔河

• 89篇参考文献[ SW02006 ]
• 在伊莎贝尔／伊萨尔河框架中建立形式化方法工具…

• 微软网络处理器

• 3篇参考文献[ SW03052]
• 动态过滤器和随机驱动器的多…

• DLV复合物

• 5篇参考文献[SW044 34 ]
• DLV复杂是一个答案集编程系统…

• 逆合成孔径雷达

• 137篇参考文献[SW04999 ]
• 支持交互式证明开发的定理证明系统

• DLV

• 21篇参考文献[SW04640]
• DLV是一个演绎数据库系统，基于…

• 全球联盟

• 24篇参考文献[SW04653]
• GULLARB是非线性规划模型的集合。

• Z3

• 465篇参考文献[SW0488]
• Z3是一个高性能的定理证明器。

• 阿斯皮德

• 12篇参考文献[SW06309]
• ASPIDE：回答集编程的集成开发环境…

• 皮德

• 10篇参考文献[SW06404]
• 伊莎贝尔/ JeDIT——一个证明框架内的证明者…

• 伊莎贝尔/吉迪特

• 26篇参考文献[ SW064 32 ]
• 伊莎贝尔/ JeDIT——一个证明框架内的证明者…

• 伊莎贝尔/匹德

• 12篇参考文献[SW07185]
• 伊莎贝尔/PIDE作为教育工具平台。伊莎贝尔/皮德…