Return to search

部分例示手法に基づく定理自動証明に関する研究

Hokkaido University (北海道大学) / 博士 / 工学

Identiferoai:union.ndltd.org:HOKKAIDO/oai:eprints.lib.hokudai.ac.jp:2115/32653
Date25 March 1996
Creators山本, 雅人
Source SetsHokkaido University Japan
LanguageJapanese
Detected LanguageNorwegian
Typetheses (doctoral)
Formatv, 96p.

Page generated in 0.0017 seconds