トップページ⇒tech

1001コメント355KB

CommonLisp Scheme Part12

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

0779ぱんつマニアアアアア ◆6Vxxv8cFbA

2005/04/05(火) 16:06:43

>>778
　　　　　　　　　　　　　　　主に数学論理である
　　　　　　　　　それとモダン論理システムにも手を出している

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