Logické základy umělé inteligence, 2. formalizace a automatizace dedukce
LUKASOVÁ, A. Logické základy umělé inteligence, 2. formalizace a automatizace dedukce. Ostrava: Ostravská univerzita, 1997. |
Další formáty:
BibTeX
LaTeX
RIS
|
Základní údaje | |
---|---|
Originální název | Logické základy umělé inteligence, 2. formalizace a automatizace dedukce |
Autoři | LUKASOVÁ, A. |
Vydání | Ostrava: Ostravská univerzita, 1997. |
Další údaje | |
---|---|
Změnil | Změnil: RNDr. Jan Géryk, Ph.D., učo 72902. Změněno: 31. 1. 2019 10:25. |
VytisknoutZobrazeno: 26. 8. 2024 13:30