ZBMaX中的参考文献(267篇)1标准条款

显示结果1至20的267。
按年份排序(引文
  1. Barthe,吉尔斯;贝塔特,古斯塔沃;坎波,朱安迭戈;Luna,卡洛斯:系统级不干扰恒时密码学。I:模型(2019)
  2. 李,李明;石,支平;关,Yong;张,钱莹;李,李:HOLL光中几何代数的形式化(2019)
  3. 穆尔,J. Strother:从纯LISP定理证明者到ACL2(2019)的里程碑
  4. 王,孟;田,康镇;张,南;段,Zhenhua;杜,红伟:验证安全关键系统调度协议(2019)
  5. Alex A. Alemi,Francois Chollet,Niklas Een,Geoffrey Irving,Christian Szegedy,Josef Urban:深度-前提选择的深层序列模型(2018)阿西夫
  6. Carette,贾可;农民,William M.;拉斯科夫斯基,帕特里克:霍尔光QE(2018)
  7. CZAZKA,KARISZYK,CEZARY:COQ锤:依赖型理论的自动化(2018)
  8. 埃纳亚特,Ali;考夫曼,Matt;麦肯齐,扎奇里:为大众重复超级脉冲(2018)
  9. 农民、William M.:教会理论的引用与评价(2018)
  10. 页,雷克斯;GAMBOA,Ruben:计算机科学的本质逻辑(2018)
  11. Coghetto,罗兰:规范积分(2017)
  12. 西蒙:可满足性模有界检验(2017)
  13. 西蒙与结构诱导叠加(2017)
  14. Cruz Filipe,卢,休尔,Marijn J. H.;Hunt Jr.,Warren A.;Kaufmann,Po.;,Y:高效认证的大鼠验证(2017)
  15. FRIEDL,斯特凡:椭圆曲线群律的初等证明(2017)
  16. 休尔,Mijjn;Hunt,沃伦Jun;Kaffman,Matt;WethZelter,弥敦:有效证明检验命题证明(2017)
  17. Francisco J.,Rubio,胡里奥;Ruiz Reina,Jos -路易斯:用抽象的STACOBs在ACL2中计算矩阵范式(2017)
  18. 纳赫勒,朱利安;费尔根豪尔,伯特伦;赞卡尔,哈拉尔德:通过相对终止和规则标记来证明合流证明(2017)
  19. Rashid,Adnan;Hasan,奥斯曼:HOLL光变换方法的形式化(2017)
  20. Aransay,Jes S;DIVASS,若泽:伊莎贝尔/HOL(2016)中矩阵梯形的计算形式化