Original file (432 × 640 pixels, file size: 66 KB, MIME type: image/jpeg)
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 19:15, 21 September 2010 |
![]() | 432 × 640 (66 KB) | YMS | == Summary == {{Information |Description={{en|1=FLoC2006: ACL2 - ACM 2005 Software System Award "Presented to J Strother Moore, Robert S. Boyer, Matt Kaufmann for the Boyer-Moore Theorem Prover" Photographer's description: The award is solid leaded glas |
The following other wikis use this file:
Original file (432 × 640 pixels, file size: 66 KB, MIME type: image/jpeg)
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 19:15, 21 September 2010 |
![]() | 432 × 640 (66 KB) | YMS | == Summary == {{Information |Description={{en|1=FLoC2006: ACL2 - ACM 2005 Software System Award "Presented to J Strother Moore, Robert S. Boyer, Matt Kaufmann for the Boyer-Moore Theorem Prover" Photographer's description: The award is solid leaded glas |
The following other wikis use this file: