Formální logika v umělé inteligenci ID: 10651 Prodaná autor: Lukasová Alena rok vydání: 2003 nakladatelství: Computer Press Brno ilustrátor: ilustrace: bez il. vazba: brož. formát: 8° počet stran: 269 Hlídací pes | Dotaz na zboží Logika prvního řádu. Klauzulární logika. Formální dedukce. Logické důsledky. Kniha v pěkném stavu.