Logické základy umělé inteligence, 2. formalizace a
automatizace dedukce

Podrobný výpis o publikaci

1997

LUKASOVÁ, A.

Logické základy umělé inteligence, 2. formalizace a automatizace dedukce

LUKASOVÁ, A.

Ostrava: Ostravská univerzita, 1997

Změněno: 31. 1. 2019 10:25, RNDr. Jan Géryk, Ph.D.

LUKASOVÁ, A. Logické základy umělé inteligence, 2. formalizace a automatizace dedukce. Ostrava: Ostravská univerzita, 1997.

LUKASOVÁ, A. \textit{Logické základy umělé inteligence, 2. formalizace a automatizace dedukce}. Ostrava: Ostravská univerzita, 1997.