OPAC

Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee
(Computer science classics)

データ種別	図書
出版者	Boston : Tokyo : Academic Press
出版年	1987, c1
本文言語	英語
大きさ	xiii, 331 p. : ill. ; 24 cm
著者標目	*Chang, Chin-Liang, 1937- Lee, Richard Char-Tung, 1939-

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

一般注記	Bibliography: p 309-324 Includes index
件　名	LCSH:Logic, Symbolic and mathematical LCSH:Automatic theorem proving LCSH:Artificial intelligence
分　類	LCC:QA9 DC19:511.3
書誌ID	B000044549
ISBN	0121703509
NCID	BA0384033X