Return to search

Automate Reasoning computer assisted proofs in set theory using Gòˆdel's algorithm for class formation /

Thesis (M.S.)--Mathematics, Georgia Institute of Technology, 2005. / Belinfante, Johan, Committee Chair ; Green, William, Committee Member ; Manolios, Panagiotis, Committee Member. Includes bibliographical references.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/57544846
Date January 2004
CreatorsGoble, Tiffany Danielle.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceAvailable online, Georgia Institute of Technology, 2004:

Page generated in 0.0019 seconds