Showing 1 - 2 results of 2 for search 'Lee, Richard Char-Tung', tempo de consulta: 0.01s Limitar resultados
  1. 1
    Symbolic logic and mechanical theorem proving /
    por Chang, Chin-lidng
    Publicado 1973
    Outros autores: “...Lee, Richard Char-tung...”
  2. 2
    Symbolic, logic and mechanical theorem proving
    por Chang, Chin-Liang
    Publicado 1973
    Outros autores: “...Lee, Richard Char-Tung...”
    Printed Book
Ferramentas de procura: RSS — Enviar por correo electrónico esta procura