自動定理証明
自動定理証明(automated theorem proving; ATP)
確認用
Q. 自動定理証明
参考
関連
調査用
/pogi-log/Google.icon
自動定理証明
/pogi-log/Wikipedia.icon
自動定理証明 - Wikipedia(日)
自動定理証明(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
automated_theorem_proving automated theorem proving - Wikipedia(英)
automated theorem proving(検索) - Wikipedia(英)