652コメント203KB

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

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

0307１３２人目の素数さん

2007/02/07(水) 04:18:00

それより証明を形式的に記述して検証する方法に興味がある

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