Conjecture synthesis for inductive theories

M Johansson, L Dixon, A Bundy - Journal of automated reasoning, 2011 - Springer
We have developed a program for inductive theory formation, called IsaCoSy, which
synthesises conjectures 'bottom-up'from the available constants and free variables. The …
被引用次数：105 相关文章
[PDF] psu.edu

[PDF][PDF] Conjecture Synthesis for Inductive Theories

M Johansson, L Dixon, A Bundy - Citeseer
We have developed a program for inductive theory formation, called IsaCoSy, which
synthesises conjectures 'bottom-up'from the available constants and free variables. The …

Conjecture Synthesis for Inductive Theories

M Johansson, L Dixon, A Bundy - Journal of Automated …, 2011 - research.ed.ac.uk
We have developed a program for inductive theory formation, called IsaCoSy, which
synthesises conjectures 'bottom-up'from the available constants and free variables. The …

Conjecture Synthesis for Inductive Theories

M Johansson, L Dixon, A Bundy - Journal of Automated Reasoning, 2011 - infona.pl
We have developed a program for inductive theory formation, called IsaCoSy, which
synthesises conjectures 'bottom-up'from the available constants and free variables. The …

Conjecture Synthesis for Inductive Theories

M Johansson, L Dixon, A Bundy - 2010 - era.ed.ac.uk
We have developed a program for inductive theory formation, called IsaCoSy, which
synthesises conjectures 'bottom-up'from the available constants and free variables. The …

Conjecture Synthesis for Inductive Theories

M Johansson, L Dixon, A Bundy - Journal of Automated Reasoning, 2011 - dl.acm.org
We have developed a program for inductive theory formation, called IsaCoSy, which
synthesises conjecturesbottom-up'from the available constants and free variables. The …

[引用][C] Conjecture Synthesis for Inductive Theories

M Johansson, L Dixon, A Bundy - Journal of Automated Reasoning, 2010 - cir.nii.ac.jp
Conjecture Synthesis for Inductive Theories | CiNii Research CiNii 国立情報学研究所 学術情報
ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 論文・データをさがす 大学図書館の本をさがす …
[PDF] researchgate.net

[PDF][PDF] Conjecture Synthesis for Inductive Theories

M Johansson, L Dixon, A Bundy - researchgate.net
We have developed a program for inductive theory formation, called IsaCoSy, which
synthesises conjectures 'bottom-up'from the available constants and free variables. The …

Conjecture Synthesis for Inductive Theories

M Johansson, L Dixon, A Bundy - Journal of Automated …, 2011 - search.proquest.com
We have developed a program for inductive theory formation, called IsaCoSy, which
synthesises conjectures' bottom-up'from the available constants and free variables. The …
[PDF] ed.ac.uk

[PDF][PDF] Conjecture Synthesis for Inductive Theories

pure.ed.ac.uk
We have developed a program for inductive theory formation, called IsaCoSy, which
synthesises conjectures 'bottom-up'from the available constants and free variables. The …