Date of Original Version

8-1993

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Description

Richard Scheines and Wilfred Sieg. An Experimental Comparison of Alternative Proof Construction Environments.

Comments

CMU-PHIL-40

Included in

Philosophy Commons

Share

COinS