Automated deduction CADE 12

מידע ביבליוגרפי
מחבר ראשי: Alan Bundy
פורמט: Printed Book
שפה:English
יצא לאור: Springer-Verlag 1994

DCS

פרטי מלאי ספרים מ DCS
סימן המיקום: 004.8
עותק סטטוס עדכני לא זמין

פריטים דומים