Výsledky vyhledávání

  1. Algebraic foundations of many-valued reasoning / Roberto L.O. Cignoli, Itala M.L. D'Ottaviano and Daniele Mundici.    Dordrecht :  Kluwer Academic,  c2000 . ix, 231 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000300
  2. Algebraic method of mathematical logic / Ladislav Rieger ; [translated by Michal Basch].    Prague :  Academia. Publishing house of the Czechoslovak Academy of sciences,  1967 . 210 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF100000
  3. Algebraic theory of quasivarieties / Viktor A. Gorbunov.    New York ; London ; and Moscow : Consultants Bureau, [1998]  ©1998 . xii, 298 stran
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF100100
  4. Argumenty filosofické logiky / Petr Kolář.    Praha :  Filosofia,  1999 . 327 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    CMTF000100
    Z000100
  5. Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček.    Oxford :  Clarendon Press,  1993 . xii, 428 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
  6. Bayesian nets and causality : philosophical and computational foundations / Jon Williamson.    Oxford :  Oxford University Press,  c2005 . ix, 239 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
  7. Combinatorial optimization : theory and algorithms / Bernhard Korte, Jens Vygen.    Berlin : Springer, [2018]  ©2018 . xxi, 698 stran
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF200100
  8. Combinatorial optimization : theory and algorithms / Bernhard Korte, Jens Vygen.    Berlin ; Heidelberg ; New York :  Springer,  2002 . xiii, 530 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
  9. Completeness theory for propositional logics / Witold A. Pogorzelski, Piotr Wojtylak.    Basel :  Birkhäuser,  c2008 . viii, 178 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
  10. Complexity and approximation : combinatorial optimization problems and their approximability properties / G. Ausiello ... [et al.].    Berlin :  Springer,  c1999 . xix, 524 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000200