1234    

書誌番号	0000125809
言語	eng : 英語
NACSIS ID	BA55879699
和洋区分	洋資料
書名	Handbook of logic and proof techniques for computer science
著者名	Steven G. Krantz
出版事項	Boston : Birkhäuser New York : Springer, c2002
形態	xix, 245 p. ; 24 cm
分類	米国議会図書館分類表 : QA76 DC21版 : 004
巻冊次表示	Vol No 巻書名 ISBN 表示価格 書籍リンク 1 081764220X
著者名標目	Krantz, Steven G. (Steven George), 1951-
件名	[普通件名] : Computers [普通件名] : Electronic data processing
注記	"Glossary of terms from mathematical and sentential logic": p. 189-218 "A guide to the literature": p. 219-229 Includes bibliographical references and index

該当件数：1件

巻書名	所蔵ID	配架場所	請求記号	ステータス	返却予定日		予約数
	111529436	図書館会議室	007.6  Kr1	貸出可能			0

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

1234