An Automated Prover for Zermelo-Fraenkel Set Theory in Theorema

Windsteiger, W. (Speaker)

Research Institute for Symbolic Computation

Activity: Talk or presentation › Contributed talk › unknown

Period	20 Oct 2002
Event title	LMCS'02
Event type	Conference
Location	AustriaShow on map

Fields of science

101 Mathematics

Related content

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