Projekt Obalkyknih.cz

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




Název:

Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected ... Computer Science and General Issues)

Autor:

Rok vydání:

2005

Identifikátory:

9783540278290

Upravte stávající anotaci nebo vložte anotaci novou.
Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)







© 2013-2026 Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích, admin@obalkyknih.cz