Meta-logics and logic programming /

Đã lưu trong:

Chi tiết về thư mục
Tác giả khác:	Apt, Krzysztof R., 1949-, Turini, Franco, 1949-
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Cambridge, Mass. : MIT Press, 1995.
Loạt:	Logic programming
Những chủ đề:	Logic programming. Logic, Symbolic and mathematical.

Miêu tả
Mô tả vật lý:	xiv, 339 p. : ill. ; 24 cm.
Thư mục:	Includes bibliographical references.
số ISBN:	0262011522 (hc : alk. paper)

Những quyển sách tương tự