ملف:Andrew Apple (FloC 2006).jpg
حجم هذه المعاينة: 405 × 600 بكسل. البعد الآخر: 432 × 640 بكسل.
الملف الأصلي (432 × 640 بكسل حجم الملف: 166 كيلوبايت، نوع MIME: image/jpeg)
وصف قصير
| ⧼wm-license-information-description⧽ |
Andrew Appel presents "A List-machine Benchmark for Mechanized Metatheory" by himself and Xavier Leroy |
| ⧼wm-license-information-date⧽ | 2006, {{time}} – invalid date format 00 (help) |
| ⧼wm-license-information-source⧽ | FLoC 2006: LFMTP Workshop |
| ⧼wm-license-information-author⧽ | Dennis Hamilton from Seattle, Washington, USA |
ترخيص
 
|
تاريخ الملف
اضغط على زمن/تاريخ لرؤية الملف كما بدا في هذا الزمن.
| زمن/تاريخ | صورة مصغرة | الأبعاد | مستخدم | تعليق | |
|---|---|---|---|---|---|
| حالي | ★ مراجعة معتمدة 15:07، 29 أكتوبر 2023 | | 432 × 640 (166 كيلوبايت) | Pastakhov (نقاش | مساهمات) | Upload https://upload.wikimedia.org/wikipedia/commons/7/77/Andrew_Apple_%28FloC_2006%29.jpg |
لا يمكنك استبدال هذا الملف.
وصلات
لا يوجد صفحات تصل لهذه الصورة.
.jpg&oldid=3284120){kind=link}