file.pdf (976.79 kB)

An Experimental Comparison of Alternative Proof Construction Environments

Download (976.79 kB)
journal contribution
posted on 01.08.1993, 00:00 by Richard Scheines, Wilfried Sieg
Richard Scheines and Wilfred Sieg. An Experimental Comparison of Alternative Proof Construction Environments.

Categories

Keywords

History

Publisher Statement

All Rights Reserved

Date

01/08/1993

Exports

Categories

Keywords

Exports