About Sato Haruhiko
About Graduate School of Information Science and Technology, Hokkaido University, Sapporo, JAPAN
About Kurihara Masahito
About Graduate School of Information Science and Technology, Hokkaido University, Sapporo, JAPAN
About IEEE Conference Proceedings
Please login to MyJ-GLOBAL to see full information. You also need to select "Display abstract, etc. of medical articles" in your MyJ-GLOBAL account page in order to see abstracts, etc. of medical articles.
About exploration(ore deposit)
About theorem proving
About automation
About inductive inference
About heuristics
About 帰納法
About 補題
About Theory of computation
About Logic algebra
About 書き換え
About 誘導
About 定理
About 発見