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

型理論

フォーマット:
図書
責任表示:
龍田真著
言語:
日本語
出版情報:
東京 : 近代科学社, 1992.11
形態:
82p ; 26cm
著者名:
龍田, 真(1960-) <DA06893088>  
シリーズ名:
レクチャーノート/ソフトウェア学 ; 1 <BN08413010>
書誌ID:
BN08418502
ISBN:
9784764902015 [476490201X]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

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

Kowalski, Robert, 山田, 真市(1937-)

培風館

小野, 寛晰(1942-)

サイエンス社

山田, 真市(1937-)

サイエンス社

Bird, Richard, 土居, 範久(1939-)

培風館

河田, 龍夫(1911-), 川田, 孝行, Berman, Simeon M.

産業図書

Minsky, Marvin Lee, 1927-, 金山, 裕(1937-)

近代科学社

Bulka, Dov, Mayhew, David R., 浜田, 真理, 浜田, 光之

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

佐藤, 雅彦(1947-), 桜井, 貴文(1959-)

岩波書店

徳田, 尚之(1936-), 加藤, 龍司(1951-)

サイエンス社

河本, 一郎(1923-), 龍田, 節(1933-)

経済法令研究会

本位田, 真一(1953-), 飯島, 正(データ通信), 大須賀, 昭彦(1958-)

共立出版

溝口, 文雄(1941-), 古川, 康一(1942-)

共立出版