DocumentCode
24748
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
Grade
نامعلوم
Major
Master of Science
Number of pages
0
Publish Date
2004
Keyword
Automated reasoning , Automated theorem proving
Note
01
Language
انگليسي
Link To Document