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:		Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings
Autor:
Rok vydání:		2002
Identifikátory:		9783540439295

Upravte stávající anotaci nebo vložte anotaci novou.
Anotace:	Proceedings of the Intl Conference, TABLEAUX 2002, held July 30-August 1, 2002 in Copenhagen, Denmark. Softcover.
	Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)