An Experimental Comparison of Alternative Proof Construction Environments

1993-08-01T00:00:00Z (GMT) by Richard Scheines Wilfried Sieg
Richard Scheines and Wilfred Sieg. An Experimental Comparison of Alternative Proof Construction Environments.

Categories

Keyword(s)

License

In Copyright