#### DMCA

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

by
Kamal Aboul-Hosn

Citations: | 6 - 0 self |