Search results
- 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
monografiaFaculty Available Inaccesible Issued For Request Only FEI 0 0 0 1 FIIT 0 0 1 0