A mostrar 1 - 2 resultados de 2 para a pesquisa 'Lee, Richard Char-Tung', tempo de pesquisa: 0.01seg Refinar resultados
  1. 1
    Symbolic logic and mechanical theorem proving /
    Por Chang, Chin-lidng
    Publicado em 1973
    Outros Autores: “...Lee, Richard Char-tung...”
  2. 2
    Symbolic, logic and mechanical theorem proving
    Por Chang, Chin-Liang
    Publicado em 1973
    Outros Autores: “...Lee, Richard Char-Tung...”
    Printed Book
Ferramentas de pesquisa: Obter Feed RSS — Enviar pesquisa por email