OPAC

Computing in Horn clause theories / Peter Padawitz
(EATCS monographs on theoretical computer science ; v. 16)

データ種別	図書
出版者	Berlin : Tokyo : Springer-Verlag
出版年	c1988
本文言語	英語
大きさ	xi, 322 p. ; 25 cm
著者標目	*Padawitz, Peter, 1953-

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

一般注記	Bibliography: p. [307]-316 Includes indexes
件　名	LCSH:Logic programming LCSH:Horn clauses
分　類	LCC:QA76.6 DC19:511.3
書誌ID	B000046174
ISBN	3540194274
NCID	BA04432791