1
Julkaistu 2006
Sisällysluettelo: ... for openmath -- Translating Mathematical Vernacular into Knowledge Repositories -- Assisted Proof Document...
Hae kokoteksti
Elektroninen E-kirja