652コメント203KB

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

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

0297１３２人目の素数さん

2006/12/07(木) 20:24:25

自動証明の研究に、何の価値があるの？

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