Check details on webcat_plus

このエントリーをはてなブックマークに追加

Output this information

Link on this page

ソフトウェア科学のための論理学 / 萩谷昌己 [著]
ソフトウェア カガク ノ タメ ノ ロンリガク
(岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 11)

Publisher 東京 : 岩波書店
Year 1994.1
Authors 萩谷, 昌己(1957-) <ハギヤ, マサミ>
長尾, 真(1936-) <ナガオ, マコト>

Hide book details.

Library Main Building 3rd fl. (in Japanese)(2 Weeks Loan)
0070:227B 117001462M

1996
Library Main Building 3rd fl. (in Japanese)(2 Weeks Loan)
0070:227 119401575X



Library Main Building 3rd fl. (in Japanese)(2 Weeks Loan)
0070:227A 219303313P



IER Library
Sa:94:11 5193021176
4000103512

Hide details.

Material Type Books
Size xvii, 220p ; 23cm
Notes 参考書: p213-216
巻末: 事項索引
Subjects BSH:電子計算機
NDLSH:電子計算機
NDLSH:記号論理学
Classification NDC8:007.63
NDLC:M159
Language Japanese
ID 0000076000
ISBN 4000103512
NCID BN10240152 WCLINK

 Similar Items