Transparency in formal proof

Description

Thesis (M.S.)--Boise State University, 2009. / Title from t.p. of PDF file (viewed June 15, 2010). 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/641740867
Date	January 2009
Creators	Petschulat, Cap.
Publisher	[Boise, Idaho] : Boise State University,
Source Sets	OCLC
Language	English
Detected Language	English