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.
التنسيق:	أطروحة Monograph Note that CRL will digitize material from the collection when copyright allows.

مواد مشابهة