Počet záznamů: 1
Logic in computer science, modelling and reasoning about systems
Údaje o názvu Logic in computer science, modelling and reasoning about systems / Michael Huth and Mark Ryan Osobní jméno Huth, Michael, 1962- (autor) Vyd.údaje Cambridge : Cambridge University Press, 2004 Fyz.popis xiv, 427 s. : il. ISBN 052154310X Poznámka Pozn. Rejstř. Poznámky o skryté bibliografii a rejstřících Bibliogr. Dal.odpovědnost Ryan, Mark (autor) Předmět.hesla logika logic * logické programování logic programming * počítačová věda computer science Konspekt 004.4/.6 - Programování. Software MDT 16:004 , 004 , 004.42.047 Země vyd. Velká Británie Jazyk dok. angličtina Druh dok. Knihy Signatura Čár.kód Lokace Dislokace Info M2/522 (PřF) 3134017654 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1