トップページ⇒math

652コメント203KB

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

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

0624sage

2009/10/16(金) 08:03:11

>>623 スマリヤンの本をよく知らないのですが、どのようなパズル問題ですか？

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