Transparency in formal proof /

Description

Thesis (M.S.)--Boise State University, 2009. / Includes abstract. Includes bibliographical references (leaves 52-53).

Links & Downloads

1. http://scholarworks.boisestate.edu/cgi/viewcontent.cgi?article=1053&context=td
2. http://scholarworks.boisestate.edu/td/54/

Tags

Proof theory Automatic theorem proving.

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/502158117
Date	January 2009
Creators	Petschulat, Cap.
Source Sets	OCLC
Language	English
Detected Language	English