An Efficient Prover for Elementary Formal Systems
スポンサーリンク
概要
著者
-
ARIKAWA SETSUO
Department of Informatics, Kyushu University
-
Arikawa S
Kyushu Univ.
-
Arikawa Setsuo
Dept.of Informatics Grad.school Of Information Sci.and Electrical Eng. Kyushu Univ.
-
HARADA Naoyuki
Dept.of Informatics,Grad.School of Information Sci.and Electrical Eng.,Kyushu Univ.
-
ISHIZAKA Hiroki
Dept.of Artificial Intelligence,Kyushu Institute of Technology
-
Harada Naoyuki
Dept.of Informatics Grad.school Of Information Sci.and Electrical Eng. Kyushu Univ.
-
Ishizaka H
Dept.of Artificial Intelligence Kyushu Institute Of Technology
関連論文
- Speeding Up String Pattern Matching by Text Compression: The Dawn of a New Era (特集 〔情報処理学会〕創立40周年記念論文)
- Refutability and Reliability for Inductive Inference of Recursive Real-Valued Functions
- Criteria for Inductive Inference with Mind Changes and Anomalies of Recursive Real-Valued Functions (Special Issue on Selected Papers from LA Symposium)
- An Efficient Prover for Elementary Formal Systems
- Knowledge Acquisition from Amino Sequences by Machine Learning System BONSAI
- Efficient Substructure Discovery from Large Semi-Structured Data(Data Mining)