243 followers
Beagle - A Hierarchic Superposition Theorem Prover. - Peter Baumgartner, Joshua Bax, Uwe Waldmann http://t.co/FwLBIRH0qw
Beagle - A Hierarchic Superposition Theorem Prover. - Peter Baumgartner, Joshua Bax, Uwe Waldmann http://t.co/FwLBIRH0qw