English 
Čeština 
Logické základy umělé inteligence. 2, Formalizace a automatizace dedukce /
| Hlavní autor: | Lukasová, Alena, 1936- |
|---|---|
| Korporativní autor: | Ostravská univerzita. Přírodovědecká fakulta |
| Jazyk: | Čeština |
| Vydáno: |
Ostrava : Ostravská univerzita, 1997 |
| Vydání: | Vyd. 1. |
| Edice: |
Učební texty Ostravské univerzity
|
| Témata: | |
| Fyzický popis: |
163 s. ; 30 cm |
|
Knihy
| Popis jednotky: |
Určeno stud. učit. i neučit. studia informatiky. - Bibliogr. |
|---|---|
| ISBN: |
80-7042-745-0 |
| Signatura: | 4-1014.461,2 |
| Odkaz do Alephu: | plné zobrazení exempláře |