An Automated Prover for Set Theory in Theorema

Windsteiger, W. (Speaker)

Research Institute for Symbolic Computation

Activity: Talk or presentation › Contributed talk › unknown

Period	05 Jul 2002
Event title	Calculemus'02 Symposium
Event type	Conference
Location	FranceShow on map

Fields of science

101 Mathematics

Related content

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