DSpace Repository

xmlui.ArtifactBrowser.ConfigurableBrowse.title.metadata.type

xmlui.ArtifactBrowser.ConfigurableBrowse.title.metadata.type

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

Browse

My Account