Počet záznamů: 1
A fascinating country in the world computing
Údaje o názvu A fascinating country in the world computing : your guide to automated reasoning / Larry Wos, Gail W. Pieper Osobní jméno Wos, Larry (autor) Vyd.údaje Singapore ; New Jersey ; London : World Scientific, 1999c Fyz.popis xx, 587 s. + 1 CD-ROM ISBN 9810239106 Poznámka Rejstř Pozn. Dal.odpovědnost Pieper, Gail W. (autor) Přílohové CD Předmět.hesla matematická logika mathematical logic * počítače computers * počítačové programy computer programs * počítačová věda computer science Forma, žánr CD-ROM CD-ROM MDT 004 , 004.2 , 004.4(086.7) Země vyd. Velká Británie ; Spojené státy americké Jazyk dok. angličtina Druh dok. Knihy Signatura Čár.kód Lokace Dislokace Info M2/140 (PřF) 3134015691 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1