François Fages. Automated Reasoning Tools for Molecular Biology. In Susanne Biundo, Thom W. Frühwirth, Günther Palm, editors, KI 2004: Advances in Artificial Intelligence, 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings. Volume 3238 of Lecture Notes in Computer Science, pages 1-2, Springer, 2004. [doi]
Abstract is missing.