Interactive Theorem Proving
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. - 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.
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. - 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.