交叉引用引用
以下出版物引用了这篇文章。此列表是根据提供的数据生成的交叉参考.
鲁迪·布拉克海斯和科林·伦西曼2017推测:通过测试结果推理发现有关黑盒函数的条件方程和不等式.ACM SIGPLAN通知,第52卷,发布。10,第页。40
穆阿·约翰逊2017交互式定理证明.第10499卷,问题,第页。1
鲁迪·布拉克海斯和科林·伦西曼2017推测:通过测试结果推理发现有关黑盒函数的条件方程和不等式.第页。40
迈克尔·沃克和科林·伦西曼2018功能和逻辑编程.第10818卷,问题,第页。264
索尔伦·哈拉·埃纳尔斯多蒂尔穆阿·约翰逊和奥曼·波霍拉,约翰内斯2018人工智能与符号计算.第11110卷,问题,第页。70
穆阿·约翰逊2019智能计算机数学.第11617卷,问题,第页。125
安德烈亚斯·阿维德森穆阿·约翰逊和罗宾·图奇2019函数式编程趋势.第10447卷,问题,第页。61
佐藤、晴彦和石井,那雄2020在证明助手中发现递归函数的条件属性.第页。1
伊坦·辛格和沙迦·伊扎基2021计算机辅助验证.第12760卷,问题,第页。125
穆阿·约翰逊和尼古拉斯·斯莫尔博内2021猜想、检验和证明:理论探索综述.理论计算机科学电子论文集,第341卷,问题,第页。1
沃尔夫冈·阿伦特古罗夫,帝力穆阿·约翰逊和菲利普·吕默2022利用形式方法、验证和确认的应用。验证原则.第13701卷,问题,第页。174
多米尼克·施泰因费尔2022软件的逻辑。形式方法品尝菜单.第13360卷,问题,第页。446
公园,康熙洛丽斯·达安东尼和代表,托马斯2023合成规范.美国计算机学会程序设计语言会议录,第7卷,发布。OOPSLA2,第页。1787
Gissurarson,Matthías Páll迭戈·罗克和詹姆斯·科佩尔2023壮观:从25万亿个术语中寻找规律.第页。293
穆阿·约翰逊2024缩小人工智能与现实之间的差距.第14380卷,问题,第页。391