Näytetään 1 - 2 yhteensä 2 tuloksesta haulle 'Lee, Richard Char-Tung', hakuaika: 0,01s Tarkenna hakua
  1. 1
    Symbolic logic and mechanical theorem proving /
    Tekijä Chang, Chin-lidng
    Julkaistu 1973
    Muut tekijät: “...Lee, Richard Char-tung...”
  2. 2
    Symbolic, logic and mechanical theorem proving
    Tekijä Chang, Chin-Liang
    Julkaistu 1973
    Muut tekijät: “...Lee, Richard Char-Tung...”
    Printed Book
Työkalut: RSS-syöte — Lähetä haku sähköpostilla