Logic programming: operational semantics and proof theory

מידע ביבליוגרפי
מחבר ראשי: Andrews, James H
פורמט: Printed Book
שפה:English
יצא לאור: Camgridge Cambridge University press 1992
נושאים:
Programming language and semantics

DCA

פרטי מלאי ספרים מ DCA
עותק סטטוס עדכני לא זמין

פריטים דומים