Types for proofs and programs international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers /
Miculan, Marino.
Types for proofs and programs international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers / [electronic resource] : Marino Miculan, Ivan Scagnetto, Furio Honsell ; [edited by] Marino Miculan, Ivan Scagnetto, Furio Honsell. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008. - 203 p. : ill., digital ; 24 cm. - Lecture Notes in Computer Science, 4941 0302-9743 ; .
9783540681038 (electronic bk.) 9783540680840 (paper)
Automatic theorem proving--Congresses.
Computer programs--Congresses.
Computer Science.
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Symbolic and Algebraic Manipulation.
005.1015113
Types for proofs and programs international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers / [electronic resource] : Marino Miculan, Ivan Scagnetto, Furio Honsell ; [edited by] Marino Miculan, Ivan Scagnetto, Furio Honsell. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008. - 203 p. : ill., digital ; 24 cm. - Lecture Notes in Computer Science, 4941 0302-9743 ; .
9783540681038 (electronic bk.) 9783540680840 (paper)
Automatic theorem proving--Congresses.
Computer programs--Congresses.
Computer Science.
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Symbolic and Algebraic Manipulation.
005.1015113