Title :
Automate Reasoning: Computer Assisted Proofs in Set Theory Using Godels Algorithm for Class Formation
Author :
Green William H. استاد مشاور , Manolios Panagiotis استاد مشاور , Belinfante Johan استاد راهنما
University :
Georgia Institute Of Technology
Major :
Master of Science
Keyword :
Automated reasoning , Automated theorem proving
