Spelling suggestions: "subject:"aritificial intelligence"" "subject:"artficial intelligence""
1 |
Automate Reasoning computer assisted proofs in set theory using Gödel's algorithm for class formation /Goble, Tiffany Danielle. January 2004 (has links) (PDF)
Thesis (M.S.)--Mathematics, Georgia Institute of Technology, 2005. / Belinfante, Johan, Committee Chair ; Green, William, Committee Member ; Manolios, Panagiotis, Committee Member. Includes bibliographical references.
|
2 |
From examples to knowledge in model-driven engineering : a holistic and pragmatic approachBatot, Edouard 11 1900 (has links)
No description available.
|
Page generated in 0.0802 seconds