西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Logic programming proceedings of the North American conf., 1989 ed. by Ewing L. Llusk and Ross A. Overbeek

出版发行项:

Cambridge, Mass. MIT Pr. c1989

ISBN:

0262620642

载体形态项:

2 v. (x, 1239 p.) ill. 23 cm.

丛编题名:

Logic programming

附加个人名称:

Llusk, Ewing L.

论题主题:

Loogic programming -- Cong.

中图法分类号:

TP311-53

一般附注:

"On constructive negation in logic programming / Teodor C. Przymus nski" (19 p.) inserted.

豆瓣简介：