Tutorial:Lispでゲーデルの不完全性定理を学ぶ

Tutorial:Lispでゲーデルの不完全性定理を学ぶ

Tag: チュートリアル

セマンティックウェブ・ダイアリー: Lisp でゲーデルの不完全性定理を学ぶ

チュートリアルで利用する処理系には、Allegro CLの試用版を想定


Lisp でゲーデルの不完全性定理を学ぶ


Last modified : 2012/12/14 14:37:41 JST
CC0 1.0
Powerd by WiLiKi 0.6.1 on Gauche 0.9