file.pdf (976.79 kB)
An Experimental Comparison of Alternative Proof Construction Environments
journal contribution
posted on 1993-08-01, 00:00 authored by Richard Scheines, Wilfried SiegRichard Scheines and Wilfred Sieg. An Experimental Comparison of Alternative Proof Construction Environments.