検索結果 1 - 2 結果 / 2 検索語 'Lee, Richard Char-Tung', 処理時間: 0.01秒 結果の絞り込み
  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フィード — 検索結果をメール