Prikaz rezultata 1 – 2 od 2 za pretraživanje 'Lee, Richard Char-Tung', vrijeme pretraživanja: 0,01s Detaljiziraj rezultate
  1. 1
    Symbolic logic and mechanical theorem proving /
    od Chang, Chin-lidng
    Izdano 1973
    Daljnji autori: “...Lee, Richard Char-tung...”
  2. 2
    Symbolic, logic and mechanical theorem proving
    od Chang, Chin-Liang
    Izdano 1973
    Daljnji autori: “...Lee, Richard Char-Tung...”
    Printed Book
Alati za pretraživanje: Preuzmi RSS sažetak — Pošalji ovo pretraživanje e-poštom