Logické základy umělé inteligence. 2, Formalizace a automatizace dedukce
Druhý díl skript je věnován modelování dedukce pouze formálními prostředky výrokové a predikátové logiky a jejich modifikací, především logiky klauzulární.
Uloženo v:
Podrobná bibliografie
- Hlavní autor
- Typ dokumentu
- Knihy
- Fyzický popis
- 163 s.
- Vydáno
-
Ostrava :
Ostravská univerzita,
1997.
- Vydání
- 1. vyd.
- Edice
- Učební texty Ostravské univerzity
- Témata
- ISBN
- 80-7042-745-0
- Navrhnout k digitalizaci
- Je možné požádat o digitalizaci tohoto dokumentu z fondu jiné knihovny: