Search results
- The Calculus of Computation : Decision Procedures with Applications to Verification
Bradley Aaron R. Manna Zohar
Berlin : Springer Verlag, 2007 . - 366 s
ISBN 978-3-540-74112-1
logika umelá inteligencia algoritmy
monografiaFaculty Available Inaccesible Issued For Request Only FIIT 0 0 1 0 
book