数学参考文献,1标准件)

显示275个结果中的1到20个。
按年份排序(引用)

1 2 ... 12 13 14 下一个

  1. 马特·斯特罗曼(Matt-Stroan)第二次功能设置(第二次订购:Matt-Stroan-2020)
  2. Tsachouridis,Vassilios A.;Giantamidis,Georgios;Basagiannis,Stylianos;Kouramas,Kostas:Schulz矩阵反演算法的形式分析:通用矩阵流求解器的计算机辅助验证范式(2020)
  3. Araújo,joão;Kinyon,Michael;Robert,Yves:具有唯一定义反转的正则半群的变体(2019)
  4. Barthe,Gilles;Betarte,Gustavo;Campo,Juan Diego;Luna,Carlos:恒定时间密码的系统级非干扰。一: 模型(2019)
  5. Johansson,Moa:归纳引理的发现。调查(2019年)
  6. 李,李明;石志平;关勇;张,钱英;李永东:几何代数的形式化
  7. Moore,J.Strother:从纯Lisp定理证明者到ACL2的里程碑(2019)
  8. Paulson,Lawrence C.;Nipkow,Tobias;Wenzel,Makarius:从LCF到Isabelle/HOL(2019年)
  9. Daniel Raggi;Aaron Stockdill;Jamnik,Mateja;Garcia Garcia,Grecia;Sutherland,Holly E.A.;Cheng,Peter C.-H.:检查和选择陈述(2019年)
  10. Wang,Meng;Tian,Cong;Zhang,Nan;Duan,Zhenhua;Du,Hongwei:验证安全关键系统的调度协议(2019)
  11. Alex A.Alemi,Francois Chollet,Niklas Een,Geoffrey Irving,Christian Szegedy,Josef Urban:DeepMath-前提选择的深度序列模型(2018)第十四章
  12. Carette,雅克;Farmer,William M.;Laskowski,Patrick:HOL Light QE(2018年)
  13. Czajka,Łukasz;Kaliszyk,Cezary:Hammer for Coq:依赖型理论的自动化(2018)
  14. 埃纳亚特,阿里;考夫曼,马特;麦肯齐,扎奇里:大众的迭代超能力(2018)
  15. Farmer,William M.:将引用和评价纳入Church的类型理论(2018)
  16. 佩奇,雷克斯;甘博亚,鲁本:计算机科学的基本逻辑(2018)
  17. Coghetto,Roland:仪表积分(2017)
  18. 2017年版(Simon Boundility:模块可满足性)
  19. 西蒙·克鲁恩斯:《结构归纳的叠加》(2017)
  20. Cruz Filipe,Luís;Heule,Marijn J.H.;Hunt Jr.,Warren A.;Kaufmann,Matt;Schneider Kamp,Peter:《高效认证老鼠验证》(2017年)

1 2 ... 12 13 14 下一个