OPAC

Automated deduction in classical and non-classical logics : selected papers / Ricardo Caferra, Gernot Salzer (eds.)
(Lecture notes in computer science ; 1761 . Lecture notes in artificial intelligence)

データ種別	図書
出版者	Berlin : Springer
出版年	c2000
本文言語	英語
大きさ	viii, 297 p. : ill. ; 24 cm
著者標目	Caferra, Ricardo Salzer, Gernot

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

一般注記	Includes bibliographical references
書誌ID	B000080812
ISBN	3540671900
NCID	BA45497663