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.
verbreitet werden – vervielfältigt, verbreitet und öffentlich zugänglich gemacht werden
neu zusammengestellt werden – abgewandelt und bearbeitet werden
Zu den folgenden Bedingungen:
Namensnennung – Du musst angemessene Urheber- und Rechteangaben machen, einen Link zur Lizenz beifügen und angeben, ob Änderungen vorgenommen wurden. Diese Angaben dürfen in jeder angemessenen Art und Weise gemacht werden, allerdings nicht so, dass der Eindruck entsteht, der Lizenzgeber unterstütze gerade dich oder deine Nutzung besonders.
https://creativecommons.org/licenses/by/2.0CC BY 2.0 Creative Commons Attribution 2.0 truetrue
== 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
Diese Datei enthält weitere Informationen (beispielsweise Exif-Metadaten), die in der Regel von der Digitalkamera oder dem verwendeten Scanner stammen. Durch nachträgliche Bearbeitung der Originaldatei können einige Details verändert worden sein.