Number of the records: 1
The Calculus of Computation
Title statement The Calculus of Computation : Decision Procedures with Applications to Verification Main entry-name Bradley, Aaron R. (Author) Another responsib. Manna, Zohar (Author) Issue data Berlin : Springer Verlag, 2007 Phys.des. 366 s ISBN 978-3-540-74112-1 Subj. Headings logika umelá inteligencia algoritmy Country Germany Language English Document kind AMG - monografia 
book
Barcode Call number of location Call number Location Sublocation Info I5920 I*5920 Fakulta informatiky a informačných technológií Centrum informačných knižničných služieb borrowed (until *18.08.2017)
Number of the records: 1