777 followers
講演者さんの論文 Gabriel Dos Reis, A System for Axiomatic Programming https://t.co/Q7l56rwOiT
講演者さんの論文 Gabriel Dos Reis, A System for Axiomatic Programming https://t.co/Q7l56rwOiT
@jjcarett2 (Didn't you mean https://t.co/M4NZXFuPF5 instead?)
Theory Presentation Combinators http://t.co/QzZVszCO
Understanding the Learners' Actions when using Mathematics ...: Abstract: The use of computer-based mathematics ... http://t.co/wPcC3i3e