Kaufmann, Matt.
Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / [electronic resource] : edited by Matt Kaufmann, Lawrence C. Paulson. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6172 0302-9743 ; . - Lecture Notes in Computer Science, 6172 .
9783642140525
10.1007/978-3-642-14052-5 doi
Computer science.
Monoclonal antibodies.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Artificial Intelligence (incl. Robotics).
Antibodies.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / [electronic resource] : edited by Matt Kaufmann, Lawrence C. Paulson. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6172 0302-9743 ; . - Lecture Notes in Computer Science, 6172 .
9783642140525
10.1007/978-3-642-14052-5 doi
Computer science.
Monoclonal antibodies.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Artificial Intelligence (incl. Robotics).
Antibodies.
QA76.9.L63 QA76.5913 QA76.63
005.1015113