Abstract interpretations & abstract machines : contributions to a methodology for the implementation of logic programs

שמור ב:

מידע ביבליוגרפי
OCLC:	59948991
מחבר ראשי:	Nilsson, Ulf
מחבר תאגידי:	Universitetet i Linköping
שפה:	English
יצא לאור:	Linköping University, 1992.
סדרה:	Linköping studies in science and technology -dissertations- ; no 265.
פורמט:	Thesis Monograph Note that CRL will digitize material from the collection when copyright allows.

פריטים דומים