DSpace Repository

Browsing by Type "Preprint"

Browsing by Type "Preprint"

Sort by: Order: Results:

  • Zhumagambetov, Rustam; Sterling, Mark (Nazarbayev University School of Science and Technology, 2018)
    We present a chat bot interface for the Coq proof assistant system. The bot provides a new modality of interaction with Coq that functions across multiple devices and platforms. Our system is particularly suitable for ...
  • Kuzhabekova, A.; Sparks, J.; Temerbayeva, A. (Research in Comparative and International Education., 2019-01-01)
    The article reports the results of an interview-based study exploring how international PhD holders re-integrate into the research environment in Kazakhstan. One of the main results consistent with prior studies is that ...

Video Guide

Submission guideSubmission guide

Submit your materials for publication to

NU Repository Drive


My Account