Zobrazuji výsledky 11 - 11 z 11 pro vyhledávání '"Computer science and applied mathematics"', doba hledání: 0,02 s. Upřesnit hledání
  1. 11

    Symbolic logic and mechanical theorem proving Autor Chang, Chin-Liang, 1937-

    Vydáno 1973
    Kniha

    Symbolic logic and mechanical theorem proving

Vyhledávací nástroje: