Categorical Model of Knowledge Base and its Applications to Knowledge Bases Equivalence Verification

  • Marina Knyazhansky

Student thesis: Doctoral Thesis

Date of Award13 May 2010
Original languageAmerican English
Awarding Institution
  • Department of Computer Science
SupervisorTanya Plotkin (Supervisor)

Cite this

'