OPAC

Non-standard logics for automated reasoning / edited by Philippe Smets ... [et al.]

巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
	射水-1階-洋書	410.9\|\|Sm3	100962547					0126495203	予約		予約
	射水-研究室	410.96\|\|Sm3	100848829		1988			0126495203		請求メモ		請求メモ

一般注記	Includes bibliographies and index The result of a project that was funded by the Commission of the European Communities' COST (Committee on Science and Technology) initiative
件　名	PRECIS:Mathematical logic LCSH:Logic, Symbolic and mathematical
分　類	LCC:BC135 DC19:511.3
書誌ID	B000041279
ISBN	0126495203
NCID	BA03772579