版	Prelim. ed
出版情報	Boston : Jones and Bartlett Publishers , c1994
大きさ	xviii, 780 p. : ill. ; 24 cm
一般注記	Includes bibliographical references (p. 755-759) and index
著者標目	*Hein, James L.
件　名	LCSH:Computer science -- Mathematics  全ての件名で検索 LCSH:Logic programming
分　類	LCC:QA76.9.M35 DC20:004/.01/511
本文言語	日本語
書誌ID	TY00008146
ISBN	0867204672
NCID	BA24923322
巻冊次	ISBN:0867204672