1
Wydane 2006
Spis treści: ... for openmath -- Translating Mathematical Vernacular into Knowledge Repositories -- Assisted Proof Document...
Dokumenty pełnotekstowe
Elektroniczne E-book