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:		Computer science logic : 14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000. Proceedings
Autor:
Rok vydání:		2000
Identifikátory:		9770302974002

Upravte stávající anotaci nebo vložte anotaci novou.
Anotace:	Proceedings of the 14th International Workshop, CSL 2000, Annual Conference of the EACSL, held in Fischbachau, Germany, August 21-26, 2000. Topics covered by this year's papers included automated deduction and interactive theorem proving, categorical logic and topological semantics, and higher order logic. Softcover.
	Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)