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

論理と計算

フォーマット:
図書
責任表示:
萩谷昌己著
言語:
日本語
出版情報:
東京 : 岩波書店, 1993.6
形態:
ix, 93p : 挿図 ; 21cm
著者名:
シリーズ名:
岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 基礎||キソ ; 11 <BN08957132>
書誌ID:
BN09151703
ISBN:
9784000105132 [4000105132]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料
1. 論理と計算. 第2刷
萩谷昌己著 , 岩波書店 , 1999

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 論理と計算

萩谷, 昌己(1957-), 甘利, 俊一(1936-)

岩波書店
7 図書 化学系・生物系の計算モデル

萩谷, 昌己(1957-), 山本, 光晴(1972-)

共立出版
2 図書 論理と計算のしくみ

萩谷, 昌己(1957-), 西崎, 真也

岩波書店
8 図書 計算理学の方法

能勢, 修一(1951-), 甘利, 俊一(1936-)

岩波書店
3 図書 プログラミングによる計算可能性理論

Arbib, Michael A., 1940-, 甘利, 俊一(1936-), 金谷, 健一(1947-), 川端, 勉, Kfoury, A. J., Moll, Robert N.

サイエンス社
9 図書 情報理論

甘利, 俊一(1936-)

筑摩書房
4 図書 計算代数と計算幾何

佐々木, 建昭(1946-), 甘利, 俊一(1936-)

岩波書店
10 図書 情報理論

甘利, 俊一(1936-)

ダイヤモンド社
5 図書 ソフトウェア科学のための論理学

萩谷, 昌己(1957-), 長尾, 真(1936-)

岩波書店
11 図書 計算代数と計算幾何

佐々木, 建昭(1946-), 今井, 浩(1958-), 浅野, 孝夫(1949-), 杉原, 厚吉(1948-), 甘利, 俊一(1936-)

岩波書店
6 図書 コンピューティング : 原理とその展開

萩谷, 昌己(1957-)

放送大学教育振興会
12 図書 高校情報I : Python

萩谷, 昌己(1957-)

実教出版