Links

AISC 2010: 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning 2010

July 6, 2010-July 7, 2010 in Paris, France

Conference Program

runs on