アルゴリズムの論理学 ロゴスの形式化理論の展開と限界/田代博司

著:田代博司
出版社:北樹出版
発売日:1995年04月
キーワード:アルゴリズムの論理学ロゴスの形式化理論の展開と限界田代博司 あるごりずむのろんりがくろごすのけいしきかりろん アルゴリズムノロンリガクロゴスノケイシキカリロン たしろ ひろし タシロ ヒロシ