Can proofs be animated by games? (2005)

Cached

Download Links

by Susumu Hayashi
Venue:. URZYCZYN ED., TLCA 2005, LNCS 3461
Citations:4 - 0 self