CALCULEMUS-2000
8
th
Symposium on the Integration of
Symbolic Computation and Mechanized Reasoning
Scope
Topics
Format
Proceedings
Organization
Dates
PC
Programme
Further Info