1
Publicerad 2014
Innehållsförteckning: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2006
Innehållsförteckning: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
Hämta fulltext
Elektronisk E-bok