A Set Theory Prover in Theorema

Windsteiger, W. (Speaker)

Research Institute for Symbolic Computation

Activity: Talk or presentation › Contributed talk › unknown

Period	20 Feb 2001
Event title	CAL Workshop at EUROCAST'01
Event type	Conference
Location	SpainShow on map

Fields of science

101 Mathematics

Related content

Projects
CALCULEMUS - Systems for Integrated Computation and Deduction
Project: Funded research › EU - European Union