Berardi, Stefano.
Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers / [electronic resource] : edited by Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5497 0302-9743 ; . - Lecture Notes in Computer Science, 5497 .
9783642024443
10.1007/978-3-642-02444-3 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 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers / [electronic resource] : edited by Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5497 0302-9743 ; . - Lecture Notes in Computer Science, 5497 .
9783642024443
10.1007/978-3-642-02444-3 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