Miculan, Marino.
Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers / [electronic resource] : edited by Marino Miculan, Ivan Scagnetto, Furio Honsell. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 4941 0302-9743 ; . - Lecture Notes in Computer Science, 4941 .
9783540681038
10.1007/978-3-540-68103-8 doi
Computer science.
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.
Artificial Intelligence (incl. Robotics).
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers / [electronic resource] : edited by Marino Miculan, Ivan Scagnetto, Furio Honsell. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 4941 0302-9743 ; . - Lecture Notes in Computer Science, 4941 .
9783540681038
10.1007/978-3-540-68103-8 doi
Computer science.
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.
Artificial Intelligence (incl. Robotics).
QA76.9.L63 QA76.5913 QA76.63
005.1015113