石凯

+

Personal Information

  • Date of Employment:

    2007-03-28

  • Education Level:

    With Certificate of Graduation for Doctorate Study

  • Gender:

    Male

  • Degree:

    博士

  • Professional Title:

    Lecturer

  • Alma Mater:

    日本埼玉大学

  • Teacher College:

    软件学院

  • Honors and Titles:

  • 2023年东北大学“德育双馨”优秀班导师 ；
  • 东北大学第十五届“我最喜爱的老师”荣誉称号 ；
  • 东北大学软件学院二〇一九年本科教学优秀奖 ；
  • 东北大学软件学院二〇二〇年本科教学优秀奖 ；
  • 东北大学软件学院二〇二二年本科教学优秀奖 ；
  • 东北大学软件学院二〇二三年本科教学优秀奖 ；
  • 2020-2022年度东北大学“三育人”先进个人荣誉称号

    • Mobile phone sweep

    Paper Publications

    Current position: Home > Scientific Research > Paper Publications

    Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng, Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic, 19th International Conference on Computing and Combinatorics (COCOON), Hangzhou, Lecture Notes in Computer Science, 7936, pp.697-704, 2013.

    • Release time:2024-05-30
    • Hits:

    • Translation or Not:  

      no

    NO. 3-11, Wenhua Road, Heping District, Shenyang, P. R. China
    Copyright 2020 Northeastern University | 110819 | 辽ICP备11009868号-3 | 85590@mail.neu.edu.cn

  • Official Website
  • Campus Network Service Website