Number of the records: 1
A fascinating country in the world computing
Title statement A fascinating country in the world computing : your guide to automated reasoning / Larry Wos, Gail W. Pieper Personal name Wos, Larry (author) Issue data Singapore ; New Jersey ; London : World Scientific, 1999c Phys.des. xx, 587 s. + 1 CD-ROM ISBN 9810239106 Note Rejstř Pozn. Another responsib. Pieper, Gail W. (author) Přílohové CD Subj. Headings matematická logika mathematical logic * počítače computers * počítačové programy computer programs * počítačová věda computer science Form, Genre CD-ROM CD-ROM UDC 004 , 004.2 , 004.4(086.7) Country Velká Británie ; Spojené státy americké Language angličtina Document kind Books Call number Barcode Location Sublocation Info M2/140 (PřF) 3134015691 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1