>> Amazon.co.jp
このページのQRコード

計算モデル論入門 : チューリング機械からラムダ計算へ

種類:
図書
責任表示:
井田哲雄, 浜名誠共著
出版情報:
東京 : サイエンス社, 2006.8
著者名:
シリーズ名:
Information science & engineering ; F5 <BA47503960>
ISBN:
9784781911359 [4781911358]  CiNii Books  Calil
注記:
参考文献: p[121]-122
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

有澤, 誠(1944-)

朝倉書店

Păun, Gheorghe, 1950-, Rozenberg, Grzegorz, Salomaa, Arto, 1934-, 横森, 貴, 榊原, 康文, 小林, 聡(1965-)

シュプリンガー・フェアラーク東京

Kinber, Efim, Smith, Carl, 1950-, 筧, 捷彦(1945-), 杉原, 崇憲(1969-)

ピアソン・エデュケーション

Sipser, Michael, 阿部, 正幸, 植田, 広樹, 藤岡, 淳, 渡辺, 治(1958-), 太田, 和夫(1954-), 田中, 圭介(1969-)

共立出版

井田, 哲雄(1947-)

岩波書店

Book, Ronald V., 守屋, 悦朗(1947-), Aho, Alfred V., 1941-

近代科学社

稲垣, 康善(1939-), Engeler, Erwin, 1930-

日本コンピュータ協会

Sipser, Michael, 渡辺, 治(1958-), 太田, 和夫(1954-), 阿部,正幸

共立出版

高橋正子

近代科学社

Zeugmann, Thomas, 湊, 真一, 大久保, 好章

コロナ社

高橋, 正子

近代科学社

電子情報通信学会, 岩間, 一雄

コロナ社