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. |