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

Description

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

Links & Downloads

1. http://etd.gatech.edu/theses/available/etd-07252004-165909/unrestricted/Goble%5FTiffany%5FD%5F200412%5FMaster.pdf

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/57544846
Date	January 2004
Creators	Goble, Tiffany Danielle.
Source Sets	OCLC
Language	English
Detected Language	English
Source	Available online, Georgia Institute of Technology, 2004: