User:Luigi.scarso/knuth

From Wiki

< User:Luigi.scarso

Revision as of 18:31, 19 June 2012 by Luigi.scarso (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

From 15th International conference of Theory and Application of Satisfiability Testing (SAT) in Trento, Italy, on June, 19, 2012:
We love context:

I'm showing the papers on MFLua but I'm confused as much as the photo:

Thanks for listening:

Retrieved from "https://wiki.contextgarden.net/index.php?title=User:Luigi.scarso/knuth&oldid=19724"