Jouannaud, Jean-Pierre.
Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / [electronic resource] : edited by Jean-Pierre Jouannaud, Zhong Shao. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 7086 0302-9743 ; . - Lecture Notes in Computer Science, 7086 .
9783642253799
10.1007/978-3-642-25379-9 doi
Computer science.
Software engineering.
Logic design.
Algebra--Data processing.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Symbolic and Algebraic Manipulation.
Software Engineering.
Artificial Intelligence (incl. Robotics).
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / [electronic resource] : edited by Jean-Pierre Jouannaud, Zhong Shao. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 7086 0302-9743 ; . - Lecture Notes in Computer Science, 7086 .
9783642253799
10.1007/978-3-642-25379-9 doi
Computer science.
Software engineering.
Logic design.
Algebra--Data processing.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Symbolic and Algebraic Manipulation.
Software Engineering.
Artificial Intelligence (incl. Robotics).
QA76.9.L63 QA76.5913 QA76.63
005.1015113