Return to search

Transparency in formal proof

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).

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/641740867
Date January 2009
CreatorsPetschulat, Cap.
Publisher[Boise, Idaho] : Boise State University,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0019 seconds