OPAC

Logic for computer scientists / Uwe Schöning
(Progress in computer science and applied logic ; v. 8)

巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
	射水-2階-洋書	007.1\|\|SC6	100809367						予約		予約

別書名	原タイトル:Logik für Informatiker
一般注記	Bibliography: p. 155-159 Includes index
件　名	LCSH:Logic, Symbolic and mathematical LCSH:Logic programming
分　類	LCC:QA9 DC20:511.3 NDLC:M159
書誌ID	B000074948
ISBN	0817634533
NCID	BA07712772