トップページ⇒math

652コメント203KB

コンピューターによる定理の自動証明

■ このスレッドは過去ログ倉庫に格納されています

0081１３２人目の素数さん

2005/09/12(月) 21:39:37

>>77
ヒューリスティックスなしらみつぶしで、「知識」のデータベースを
元に計算してまつ

■ このスレッドは過去ログ倉庫に格納されています