1
出版事項 2006
目次: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
全文の入手
電子媒体 eBook
2
出版事項 2014
目次: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
全文の入手
電子媒体 eBook