Blank Cover Image
QRコード(所蔵情報)

形式的モデルと意味論

フォーマット:
図書
責任表示:
Leeuwen, Jan van ; 広瀬, 健(1935-)
言語:
日本語
出版情報:
東京 : 丸善, 1994.2
形態:
26, 1248p ; 23cm
著者名:
シリーズ名:
コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳 ; 2 <BN10400350>
書誌ID:
BN10400601
ISBN:
9784621039229 [4621039229]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 アルゴリズムと複雑さ

Leeuwen, Jan van, 広瀬, 健(1935-)

丸善
7 図書 数学の方法 : 直観的イメージから数学的対象へ

広瀬, 健(1935-)

共立出版
2 図書 オートマトン・形式言語理論

広瀬, 貞樹

コロナ社
8 図書 形式言語理論

嵩, 忠雄(1930-), 都倉, 信樹(1939-), 谷口, 健一, 電子情報通信学会

電子情報通信学会
3 図書 基礎概念

Knuth, Donald Ervin, 1938-, 広瀬, 健(1935-)

サイエンス社
9 図書 意味ってなに? : 形式意味論入門

Portner, Paul, 片岡, 宏仁

勁草書房
4 図書 形式意味論

杉本, 孝司(1948-)

くろしお出版
10 図書 社会科学における数学的モデル

Snell, J. Laurie (James Laurie), 1925-, 甲田, 和衛(1920-), Kemeny, John G., 1926-

培風館
5 図書 帰納的関数

広瀬, 健(1935-)

共立出版
11 図書 コンピュータ基礎理論ハンドブック

Leeuwen, Jan van, 広瀬, 健(1935-), 野崎, 昭弘(1936-), 小林, 孝次郎(1939-)

丸善
6 図書 数学的帰納法

広瀬, 健(1935-)

教育出版
12 図書 計算モデルとプログラミング

猪股, 俊光, 山田, 敬三

森北出版