DMCA

A PROOF-THEORETIC APPROACH TO MATHEMATICAL KNOWLEDGE MANAGEMENT (2007)

by Kamal Aboul-Hosn
Citations:6 - 0 self