Return to search

Generalization, lemma generation, and induction in ACL2

Thesis (Ph. D.)--University of Texas at Austin, 2008. / Vita. Includes bibliographical references.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/244394857
Date January 1900
CreatorsErickson, John D.,
Publisher[Austin, Tex. : University of Texas Libraries,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0019 seconds