Chcete-li získat tento dokument, vstupte
přímo do katalogu.
If you want to get more information about the document, enter the
online catalog.
Katalog Vědecké knihovny v Olomouci, báze SVK01, záznam 000050643
Navigace: https://aleph.vkol.cz/pub / svk01 / 00005xxxx / 0000506xx / 000050643.htm
Chcete-li získat tento dokument, vstupte přímo do katalogu.
If you want to get more information about the document, enter the online catalog.
| ISBN | 3-540-54487-9 (brož) : bc |
| MDT | 681.3:519.8 |
| Názvové údaje | Computer Science Logic : Proceedings of the 4th Workshop / Eds. Egon Börger |
| Nakladatel.údaje | Berlin : Springer, 1991 |
| Údaje fyz.popisu | 8, 399 s |
| Edice-jiná forma | Lecture Notes in Computer Science ; 533 |
| Všeobecná pozn. | Bibliogr. na konci kapitol |
| Všeobecná pozn. | Rozmn |
| VZ-Osobní jm. | Börger, Egon |
| VZ-Edice-Unif.náz. | Lecture Notes in Computer Science |
| Sigla,sign.vlastn. | OLA001 591.462 |
| Předmět.hesla | Logika matematická vědy počítačové |
| Předmět.hesla | Vědy počítačové logika matematická |
| Počet exemplářů | 1 |
Úvodní stránka katalogu.
O úroveň zpět..
© 2007 Ex Libris & Vědecká knihovna v Olomouci - webmaster.