出版情報	Cambridge, Mass. : MIT Press , c1994
大きさ	xii, 214 p. : ill. ; 24 cm
一般注記	Includes bibliographical references (p. [197]-199) and index
著者標目	*Doets, Kees
件　名	LCSH:Logic programming
分　類	LCC:QA76.63 DC20:005.1
本文言語	英語
書誌ID	TY00008698
ISBN	0262041421
NCID	BA22341563
巻冊次	ISBN:0262041421