Current position: Home >> Scientific Research >> Paper Publications
Tang Zhengyi

Personal Information

Associate professor  
Supervisor of Master's Candidates  

Paper Publications

馈线自动化算法的形式化建模与验证

Hits:

Affiliation of Author(s):计算机科学与数学学院

Journal:计算机工程

Funded by:省、自治区、直辖市科技项目

Note:2016年5月20日扬审核通过

Indexed by:Journal paper

Document Code:8071

Volume:42

Issue:3

ISSN No.:1000-3428

Translation or Not:no

CN No.:31-1289/TP

Date of Publication:2016-03-25

Pre One:OWL-S过程模型的形式化描述与相容性分析

Next One:基于词性标注的文本聚类算法