Deville, Yves, 1960-
Logic programming : systematic program development / Yves Deville. - Wokingham, England ; Reading, Mass. : Addison-Wesley, c1990. - xvii, 338 p. : ill. ; 24 cm. - International series in logic programming .
Includes bibliographical references (p. 315-329) and index.
0201175762 (hbk.) 9780201175769 (hbk.)
89018349
Logic programming.
QA76.63 / .D48 1990
005.1 / DEV 1990
Logic programming : systematic program development / Yves Deville. - Wokingham, England ; Reading, Mass. : Addison-Wesley, c1990. - xvii, 338 p. : ill. ; 24 cm. - International series in logic programming .
Includes bibliographical references (p. 315-329) and index.
0201175762 (hbk.) 9780201175769 (hbk.)
89018349
Logic programming.
QA76.63 / .D48 1990
005.1 / DEV 1990