トップページ⇒math

652コメント203KB

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

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

0379１３２人目の素数さん

2008/05/10(土) 08:43:13

>>377
2は、証明できない場合、フリーズしちゃうんですか？

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