1.
|
Ontological engineering and mathematical knowledge management : a formalization of projective geometry Fürst, F. - Leclere, M. - Trichet, F.
|
2.
|
Conceptual knowledge markup language : an introduction Kent, Robert E.
|