Meta-logics and logic programming /

Պահպանված է:

Մատենագիտական մանրամասներ
Այլ հեղինակներ:	Apt, Krzysztof R., 1949-, Turini, Franco, 1949-
Ձևաչափ:	Գիրք
Լեզու:	English
Հրապարակվել է:	Cambridge, Mass. : MIT Press, 1995.
Շարք:	Logic programming
Խորագրեր:	Logic programming. Logic, Symbolic and mathematical.

Նկարագրություն
Ֆիզիկական նկարագրություն:	xiv, 339 p. : ill. ; 24 cm.
Մատենագիտություն:	Includes bibliographical references.
ISBN:	0262011522 (hc : alk. paper)

Նմանատիպ նյութեր