ホーム
おまかせ表示
付近
ログイン
設定
寄付
ウィキペディアについて
免責事項
検索
「帰納的可算言語」の版間の差分
言語
ウォッチリストに追加
編集
履歴の双方向閲覧
← 古い編集
新しい編集 →
削除された内容
追加された内容
ビジュアル
ウィキテキスト
2009年9月29日 (火) 07:41時点における版
編集
江口磐世☆
(
会話
|
投稿記録
)
28,237
回編集
m
lang
← 古い編集
2009年10月1日 (木) 18:14時点における版
編集
取り消し
MakoBot
(
会話
|
投稿記録
)
1,562
回編集
m
Robot adding DEFAULTSORT
新しい編集 →
31行目:
* Kozen, D.C. (1997), ''Automata and Computability'', Springer.
[[Category
{{DEFAULTSORT
:
数理論理学|
きのうてきかさんけんこ
]]
}}
[[Category:
形式言語|きのうてきかさんけんこ
数理論理学
]]
[[Category:
計算理論|きのうてきかさんけんこ
形式言語
]]
[[Category:計算理論]]
[[Category:数学に関する記事]]