Date of Award | 13 May 2010 |
---|---|
Original language | American English |
Awarding Institution |
|
Supervisor | Tanya Plotkin (Supervisor) |
Categorical Model of Knowledge Base and its Applications to Knowledge Bases Equivalence Verification
Student thesis: Doctoral Thesis