Login / Signup
From Rock, Paper, Scissors to Street Fighter II: proof by construction.
Yotam I. Gingold
Published in:
Sandbox@SIGGRAPH (2006)
Keyphrases
</>
database
theorem proving
construction process
social networks
data sets
information retrieval
database systems