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)

פריטים דומים