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
- 5Logic, Symbolic and mathematical
- 2Artificial intelligence
- 2Reasoning
- 1Analogy
- 1Computer graphics
- 1Computer programs--Correctness
Departments
Author / Creator / Contributor
Year
Collections
Languages
Item type
1 - 5 of 5