Number of the records: 1
Logic in computer science, modelling and reasoning about systems
Title statement Logic in computer science, modelling and reasoning about systems / Michael Huth and Mark Ryan Personal name Huth, Michael, 1962- (author) Issue data Cambridge : Cambridge University Press, 2004 Phys.des. xiv, 427 s. : il. ISBN 052154310X Note Pozn. Rejstř. Internal Bibliographies/Indexes Note Bibliogr. Another responsib. Ryan, Mark (author) Subj. Headings logika logic * logické programování logic programming * počítačová věda computer science Conspect 004.4/.6 - Programování. Software UDC 16:004 , 004 , 004.42.047 Country Velká Británie Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info M2/522 (PřF) 3134017654 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1