Search results

Records found: 1  
Your query: Author Sysno = "^stu_us_auth stu66392^"
  1. Logic in Computer Science : Modelling and Reasoning about Systems
    Huth Michael  Ryan Mark
    2. vyd.
    Cambridge : Cambridge University Press, 2006 . - 427 s
    ISBN 0-521-54310-X
    logika informatika odvodzovanie
    monografia
    Faculty Available Inaccesible Issued For Request Only
    FEI0001
    FIIT0010
    book

    book



  This site uses cookies to make them easier to browse. Learn more about how we use cookies.