Automating change of representation for proofs in discrete mathematics

Add code
May 10, 2015
Figure 1 for Automating change of representation for proofs in discrete mathematics
Figure 2 for Automating change of representation for proofs in discrete mathematics
Figure 3 for Automating change of representation for proofs in discrete mathematics

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: