Blank Cover Image

Type Theoryとそのコンピュータシステムへの応用

資料種別:
図書
責任表示:
萩野達也[ほか]著
言語:
英語
出版情報:
京都 : 数理科学講究録刊行会, 1993.10
形態:
152p ; 26cm
著者名:
荻野, 達也  
シリーズ名:
数理科学講究録 ; 851
書誌ID:
MD00001339
子書誌情報
Loading
所蔵情報
近くの請求記号の本を見る Loading virtual-shelf information
Loading availability information

類似資料:

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

池田, 敏雄(1923-1974)

筑摩書房

河名, 進

産報

林, 勲(1957-)

八千代出版

石森,章, 寺崎,茂

南江堂

電子通信学会, 相磯, 秀夫(1932-)

電子通信学会, コロナ社 (発売)

知的コンピュータシステム事典編集委員会

産業調査会事典出版センター

日経マグロウヒル

雨宮, 真人

岩波書店

江村, 潤朗(1938-), 野津, 昭

オーム社

都倉, 信樹(1939-)

岩波書店

多田, 碩佳, 佐々木, 彬夫(1933-)

共立出版

石田, 晴久(1936-), 村田, 健郎(1923-)

産業図書