zbMATH中的参考文献(引用于 274篇文章,1标准件)

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

1 2 ... 12 13 14 下一个

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

1 2 ... 12 13 14 下一个