Košík

  Odznačit vybrané:   0

  1.  

      Půjčit
    First-order logic and automated theorem proving / Melvin Fitting.    New York ; Berlin ; Heidelberg :  Springer Verlag,  c1996 . xvi, 326 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    First-order logic and automated theorem proving

    kniha

      Půjčit

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše