LUKASOVÁ, A. Logické základy umělé inteligence, 2. formalizace a automatizace dedukce. Ostrava: Ostravská univerzita, 1997.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Logické základy umělé inteligence, 2. formalizace a automatizace dedukce
Authors LUKASOVÁ, A.
Edition Ostrava: Ostravská univerzita, 1997.
Other information
Changed by Changed by: RNDr. Jan Géryk, Ph.D., učo 72902. Changed: 31/1/2019 10:25.
PrintDisplayed: 29/3/2024 07:33