Eekelen, Marko.
Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings / [electronic resource] : edited by Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6898 0302-9743 ; . - Lecture Notes in Computer Science, 6898 .
9783642228636
10.1007/978-3-642-22863-6 doi
Computer science.
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).
Programming Techniques.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings / [electronic resource] : edited by Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6898 0302-9743 ; . - Lecture Notes in Computer Science, 6898 .
9783642228636
10.1007/978-3-642-22863-6 doi
Computer science.
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).
Programming Techniques.
QA76.9.L63 QA76.5913 QA76.63
005.1015113