file.pdf (976.79 kB)
0/0

An Experimental Comparison of Alternative Proof Construction Environments

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

Categories

Keyword(s)

History

Publisher Statement

All Rights Reserved

Date

01/08/1993

Exports

Categories

Keyword(s)

Exports