Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích

oprava existující anotace, přidání nové anotace

Název:		Logické základy umělé inteligence. 2, Formalizace a automatizace dedukce
Autor:		Alena Lukasová
Rok vydání:
Identifikátory:		9788070427453 cnb000304708 (ocolc)40091647

Upravte stávající anotaci nebo vložte anotaci novou.
Anotace:	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í.
	Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)