This decommissioned ERA site remains active temporarily to support our final migration steps to https://ualberta.scholaris.ca, ERA's new home. All new collections and items, including Spring 2025 theses, are at that site. For assistance, please contact erahelp@ualberta.ca.
Search
Skip to Search Results
Filter
Subject / Keyword
- 8Logic, Symbolic and mathematical
- 2Artificial intelligence
- 2Proof theory
- 2Reasoning
- 1Analogy
- 1Computer graphics
Author / Creator / Contributor
- 1Du, Hang Khanh.
- 1Ferguson, George M.
- 1Ganson, Reo Elden.
- 1Ghose, Aditya Kumar.
- 1Goodwin, Scott
- 1Reid, David Alexander.
Year
Collections
Languages
Item type
1 - 8 of 8