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:
  • počet stran: 269
Logika prvního řádu. Klauzulární logika. Formální dedukce. Logické důsledky. Kniha v pěkném stavu.

Doporučujeme Vám