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
 
1 図書 論理による問題の解法 : Prolog入門

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

培風館
7 図書 計算機の数学的理論

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

近代科学社
2 図書 人工知能のためのmicro-PROLOGプログラムコレクション

山田, 真市(1937-)

サイエンス社
8 図書 プログラム理論入門

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

培風館
3 図書 数理統計学 : 正規型理論に基礎をおいて

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

産業図書
9 図書 プログラムの基礎理論

小野, 寛晰(1942-)

サイエンス社
4 図書 Efficient C++ : パフォーマンスプログラミングテクニック

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

ピアソン・エデュケーション
10 図書 プログラムの基礎理論

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

岩波書店
5 図書 Window環境による情報処理入門

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

サイエンス社
11 図書 並列論理型言語GHCとその応用

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

共立出版
6 図書 エージェント技術

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

共立出版
12 図書 パソコンで学ぶ相対性理論

広瀬, 立成, 喜多村, 章一

コロナ社