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 000370417
Navigace: https://aleph.vkol.cz/pub / svk01 / 00037xxxx / 0003704xx / 000370417.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.
| HZ-Osobní jméno | Chang, Chin Liang |
| Názvové údaje | Matematičeskaja logika i avtomatičeskoje dokazatel'stvo teorem |
| Nakladatel.údaje | Moskva, 1983 |
| VZ-Osobní jm. | Li, R. |
| Sigla,sign.vlastn. | OLA001 729.642 |
| Počet exemplářů | 1 |
Úvodní stránka katalogu.
O úroveň zpět..
© 2007 Ex Libris & Vědecká knihovna v Olomouci - webmaster.