Kristina Sojakova · KWARC

Kristina Sojakova

News
- People
  - Former Members
- Research
- Systems
  - Orphaned Systems
  - Historic Systems
- Projects
  - Completed Projects
- Courses & Theses
Events
Hiring
Contact

M.Sc. Kristina Sojakova

Master Student, KWARCie September 2008 - August 2010

Carnegie Mellon University

Thesis Title

Mechanically Verifying Logic Translations

About The Research Group of the Professorship for Knowledge Representation and Processing at FAU Erlangen-Nürnberg - Computer Science. 
 Updates   GitHub    Atom Feed  
 Editing   Edit this page    How to edit  

© 2024 The KWARC Group