Title: SNC'07
Subjects: Congresses, Numerical analysis, Symbolic and mathematical Logic, Computable functions, Data processing, Logic, symbolic and mathematical