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

Online Public Access Catalogue

题名/责任者:

Logic programming : proceedings of the North American conference, 1989, v. 1 / edited by Ewing L. Lusk and Ross A. Overbeek.

出版发行项:

Cambridge, Mass. : MIT Press, c1989.

ISBN:

0262620642 (set)

载体形态项:

642 p. : ill. ; 23 cm.

丛编题名:

Logic programmimg

会议名称:

North American Conference on Logic Programming (1989 : Cleveland, Ohio, USA.)

附加个人名称:

Overbeek, Ross A.

附加个人名称:

Lusk, Ewing.

论题主题:

Logic programming-Congresses.

中图法分类号:

TP311-53

一般附注:

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

豆瓣简介：