DescriptionJ Strother Moore, Matt Kaufmann FLoC 2006.jpg
English: FLoC2006: Matt Kaufmann presents J Strother Moore with one of the special congratulatory awards from the ACL2 community in honor of the ACM Software Systems Award for "A Computational Logic."
to share – to copy, distribute and transmit the work
to remix – to adapt the work
Under the following conditions:
attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
https://creativecommons.org/licenses/by/2.0CC BY 2.0 Creative Commons Attribution 2.0 truetrue
== Summary == {{Information |Description={{en|1=FLoC2006: Matt Kaufmann presents J Strother Moore with one of the special congratulatory awards from the ACL2 community in honor of the ACM Software Systems Awa
File usage
The following pages on the English Wikipedia use this file (pages on other projects are not listed):