<< 31323334    

書誌番号	0000024373
言語	jpn : 日本語
NACSIS ID	BN10240152
和洋区分	和資料
書名	ソフトウェア科学のための論理学
書名カナ	ソフトウェア カガク ノ タメ ノ ロンリガク
親書誌名 ; 番号等	岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 11
著者名	萩谷昌己 [著]
出版事項	東京 : 岩波書店, 1994.1
形態	xvii, 220p ; 23cm
分類	NDC8版 : 007.63 国立国会図書館分類表 : M159
巻冊次表示	巻書名 ISBN 表示価格 書籍リンク 4000103512 3000円
著者名典拠	萩谷, 昌己(1957-) 長尾, 真(1936-)
件名	[普通件名] : BSH:電子計算機||デンシケイサンキ//K [普通件名] : NDLSH:電子計算機||デンシケイサンキ//K [普通件名] : NDLSH:記号論理学||キゴウロンリガク//K
リレーション	[書誌階層（上位：親）] : 1件( 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 )
注記	参考書: p213-216 巻末: 事項索引

該当件数：2件

	巻書名	所蔵ID	配架場所	請求記号	備考	返却予定日	ステータス	予約数
		00019632	4F一般	007.63 I			貸出可能	0
		10011167	一般	007.63 I			貸出可能

[予約]：チェックした資料に対し予約申込を行います[請求]：チェックした資料に対し請求票を印刷します

<< 31323334