652コメント203KB

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

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

0172１３２人目の素数さん

2005/12/13(火) 17:18:46

ってか自動証明の話してるときにチューリングテストの話せんでもいいだろ

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