Showing 1 - 1 results of 1 for search 'Danwen Mao', query time: 0.01s Refine Results
  1. 1
    Formalization of Linear Space Theory in the Higher-Order Logic Proving System

    Formalization of Linear Space Theory in the Higher-Order Logic Proving System by Jie Zhang, Danwen Mao, Yong Guan

    Published 2013-01-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: