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.
History
Publisher Statement
All Rights ReservedDate
1993-08-01Usage metrics
Categories
Keywords
Licence
Exports
RefWorksRefWorks
BibTeXBibTeX
Ref. managerRef. manager
EndnoteEndnote
DataCiteDataCite
NLMNLM
DCDC