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 000090122
Navigace: https://aleph.vkol.cz/pub / svk01 / 00009xxxx / 0000901xx / 000090122.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 | 80-7042-745-0 (brož) : 70.00 |
| MDT | (075.8) |
| MDT | 004.8 |
| MDT | 164 |
| HZ-Osobní jméno | Lukasová, Alena, 1936- |
| Názvové údaje | Logické základy umělé inteligence. 2, Formalizace a automatizace dedukce |
| Varianta názvu | Formalizace a automatizace dedukce |
| Údaje o vydání | Vyd. 1 |
| Nakladatel.údaje | Ostrava : Ostravská univerzita, 1997 |
| Údaje fyz.popisu | 163 s |
| Edice-jiná forma | Učební texty Ostravské univerzity |
| Všeobecná pozn. | Pro studenty učitelského i neučitelského studia informatiky |
| Pozn.k vydavateli | Vydavatel: Přírodovědecká fakulta |
| Předm.-Věc.téma | formální logika |
| Předm.-Věc.téma | umělá inteligence |
| Žánr/forma | učebnice vysokých škol |
| VZ-Korporace | Ostravská univerzita. Přírodovědecká fakulta |
| VZ-Edice-Unif.náz. | Učební texty Ostravské univerzity |
| Sigla,sign.vlastn. | OLA001 II 829.802/ 2 |
| Počet exemplářů | 1 |
| Vydáno sev.Mor. | cz-mn |
Úvodní stránka katalogu.
O úroveň zpět..
© 2007 Ex Libris & Vědecká knihovna v Olomouci - webmaster.