Showing 1 - 2 results of 2 for search 'Lee, Richard Char-Tung', 查询时间: 0.01s Refine Results
  1. 1
    Symbolic logic and mechanical theorem proving /
    由 Chang, Chin-lidng
    出版 1973
    其他作者: “...Lee, Richard Char-tung...”
  2. 2
    Symbolic, logic and mechanical theorem proving
    由 Chang, Chin-Liang
    出版 1973
    其他作者: “...Lee, Richard Char-Tung...”
    Printed Book
检索工具: 得到RSS订阅 — 推荐此搜索