An automated prover for Zermelo-Fraenkel set theory in Theorema - Sciweavers

25

click to vote

more JSC 2006 ...

www.risc.jku.at

Tweet