TY - BOOK AU - Kaufmann,Matt AU - Paulson,Lawrence C. ED - SpringerLink (Online service) TI - Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings T2 - Lecture Notes in Computer Science, SN - 9783642140525 PY - 2010/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Monoclonal antibodies KW - Software engineering KW - Logic design KW - Artificial intelligence KW - Computer Science KW - Logics and Meanings of Programs KW - Software Engineering KW - Mathematical Logic and Formal Languages KW - Programming Languages, Compilers, Interpreters KW - Artificial Intelligence (incl. Robotics) KW - Antibodies UR - http://dx.doi.org/10.1007/978-3-642-14052-5 ER -