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 deduction - CADE-18 : 18th international conference on automated deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
Autor:
Rok vydání:		2002
Identifikátory:		9783540439318

Upravte stávající anotaci nebo vložte anotaci novou.
Anotace:	Proceedings of the 18th Intl Conference on Automated Deduction, held July 27-30, 2002 in Copenhagen, Denmark. Offers topical sections on description logics and the semantic Web, model generation, CASC, equational reasoning, and proof theory. Softcover.
	Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)