File:ACM 2005 Software System Award.jpg
本预览的尺寸：405 × 600像素。 其他分辨率：162 × 240像素 | 432 × 640像素。
原始文件 （432 × 640像素，文件大小：66 KB，MIME类型：image/jpeg）
摘要
| 描述 |
English: 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 glass. I placed a box (from one of the special congratulations award) behind the glass so that the etching would stand out. It looks like it commemorates the finger prints of all of us who tested the weight of the crystal. |
| 日期 | |
| 来源 | https://www.flickr.com/photos/orcmid/218220911/ |
| 作者 | Dennis Hamilton |
许可协议
|
这幅图片原始出处为Flickr的https://www.flickr.com/photos/91555706@N00/218220911 ，作者为orcmid 。经机器人FlickreviewR在2010年9月21日审查后确定为采用cc-by-2.0的协议授权使用。 |
文件历史
点击某个日期/时间查看对应时刻的文件。
| 日期/时间 | 缩略图 | 大小 | 用户 | 备注 | |
|---|---|---|---|---|---|
| 当前 | 2010年9月21日 (二) 19:15 | | 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 |
文件用途
以下页面使用本文件：
全域文件用途
以下其他wiki使用此文件：
- de.wikipedia.org上的用途
- en.wikipedia.org上的用途
- fr.wikipedia.org上的用途
- he.wikipedia.org上的用途
- ja.wikipedia.org上的用途
- sk.wikipedia.org上的用途
- www.wikidata.org上的用途
