MKM   2007 International Conference on Mathematical Knowledge Management
Wall of Fame | Most Viewed MKM-2007 Paper
9 years 6 months ago
Biform Theories in Chiron
An axiomatic theory represents mathematical knowledge declaratively as a set of axioms. An algorithmic theory represents mathematical knowledge procedurally as a set of algorithms....
William M. Farmer
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source138
2Download preprint from source115
3Download preprint from source115
4Download preprint from source112
5Download preprint from source110
6Download preprint from source109
7Download preprint from source108
8Download preprint from source108
9Download preprint from source107
10Download preprint from source105
11Download preprint from source102
12Download preprint from source100
13Download preprint from source99
14Download preprint from source95
15Download preprint from source93
16Download preprint from source83
17Download preprint from source83
18Download preprint from source75