引用人 65 -
引用人 交叉引用引用 
这本书已经 以下出版物引用。 此列表是根据提供的数据生成的 交叉参考 .
阿兰·邦迪 2004 人工智能与符号计算 . 第3249卷， 问题， 第页。 26
古德蒙德·格罗夫 2005 验证休谟程序的正确性 . 第页。 444
尤利亚·科鲁霍娃 2006 人工智能中的逻辑 . 第4160卷， 问题， 第页。 242
穆阿·约翰逊 阿兰·邦迪 和 卢卡斯·狄克逊 2006 人工智能理论和系统中的推理、行动和交互 . 第4155卷， 问题， 第页。 83
托拜厄斯·盖德尔 和 雷纳·哈内尔 2006 编程、人工智能和推理逻辑 . 第4246卷， 问题， 第页。 332
爱尔兰，安德鲁 2006 分离逻辑的自动断言精化 . 第页。 309
扬·威廉·克鲁普 文森特·范·奥斯特罗姆 和 罗德·德弗里杰尔 2006 代数、意义和计算 . 第4060卷， 问题， 第页。 541
托拜厄斯·盖德尔 和 雷纳·哈内尔 2007 非经典逻辑的代数和证明理论方面 . 第4460卷， 问题， 第页。 138
尤利亚·科鲁霍娃 2007 一种函数程序的自动演绎综合方法 . 数学和人工智能年鉴， 第50卷， 发布。 3-4, 第页。 255
爱尔兰，安德鲁 比尔·J·埃利斯。 安德鲁·库克 罗德里克·查普曼 和 珍妮特·巴恩斯 2007 一种集成的高完整性软件验证方法 . 自动推理杂志， 第36卷， 发布。 4, 第页。 379
罗勒王子 加尼，尼尔 和 康纳·麦克布莱德 2008 功能和逻辑编程 . 第4989卷， 问题， 第页。 97
安德烈亚·阿斯佩蒂 威尔默·里奇奥蒂 克劳迪奥·萨塞尔多蒂·科恩 和 恩里科·塔西 2009 高阶逻辑中的定理证明 . 第5674卷， 问题， 第页。 84
奥马尔·蒙塔诺·里瓦斯 罗伊·麦卡斯兰德 卢卡斯·狄克逊 和 阿兰·邦迪 2010 人工智能进展 . 第6437卷， 问题， 第页。 348
穆阿·约翰逊 卢卡斯·狄克逊 和 阿兰·邦迪 2010 交互式定理证明 . 第6172卷， 问题， 第页。 291
爱尔兰，安德鲁 古德蒙德·格罗夫 和 迈克尔·巴特勒 2010 抽象状态机，合金，B和Z . 第5977卷， 问题， 第页。 189
穆阿·约翰逊 卢卡斯·狄克逊 和 阿兰·邦迪 2010 验证、归纳、终止分析 . 第6463卷， 问题， 第页。 102
穆阿·约翰逊 卢卡斯·狄克逊 和 阿兰·邦迪 2011 归纳理论的猜想综合 . 自动推理杂志， 第47卷， 发布。 三， 第页。 251
埃文·麦克林 和 爱尔兰，安德鲁 2011 形式化方法与软件工程 . 第6991卷， 问题， 第页。 275
丹尼斯，路易斯·阿比盖尔 格林，伊恩 和 斯梅尔，艾伦 2011 使用嵌入为高阶波纹提供术语和注释的清晰分离 . 自动推理杂志， 第47卷， 发布。 1, 第页。 57
伊莎贝拉·德拉梅内斯克 和 都铎Jebelean 2011 排序算法综合的证明技术 . 第页。 101
出版商： 剑桥大学出版社 在线发布日期： 2009年8月 打印出版年份： 2005 在线ISBN： 9780511543326
系列： -
剑桥理论计算机科学丛书 (56)
