English 
Čeština 
Logické základy umělé inteligence. 2, Formalizace a automatizace dedukce /
| Main Author: | Lukasová, Alena, 1936- |
|---|---|
| Corporate Author: | Ostravská univerzita. Přírodovědecká fakulta |
| Language: | Czech |
| Published: |
Ostrava : Ostravská univerzita, 1997 |
| Edition: | Vyd. 1. |
| Series: |
Učební texty Ostravské univerzity
|
| Physical Description: |
163 s. ; 30 cm |
|
Book