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 000218642
Navigace: https://aleph.vkol.cz/pub / svk01 / 00021xxxx / 0002186xx / 000218642.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.
| Všeob.údaje zprac. | Chin-Liang Chang |
| 24510 | Symbolic logic and mechanocal theorem proving |
| 260 | New York, 1973 |
| 7001 | Char-Tung Lee, R. |
| 910 | OLA001 476.026 |
| EXE | 1 |
Úvodní stránka katalogu.
O úroveň zpět..
© 2007 Ex Libris & Vědecká knihovna v Olomouci - webmaster.