Qr code
中文
王金水

Associate professor

Supervisor of Master's Candidates


School/Department:计算机科学与数学学院

Education Level:With Certificate of Graduation for Doctorate Study

Business Address:计算机科学与数学学院博学楼C4 201

Contact Information:QQ: 42994696 wangjinshui@fjut.edu.cn

Degree:Doctoral degree

Status:Employed

Alma Mater:复旦大学

Discipline:Data science and large data technology
Computer science and technology
software engineering

Click:Times

The Last Update Time: ..

Current position: Home >> Scientific Research >> Paper Publications
行为时序逻辑中四级公平性下的活性推理规则

Release time:2018-06-04    Hits:

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

Journal:计算机应用研究

Funded by:国家自然科学基金项目

Indexed by:Journal paper

Document Code:8344

Volume:33

Issue:10

Page Number:3045-3048

ISSN No.:1001-3695

Translation or Not:no

CN No.:51-1196/TP

Date of Publication:2016-10-01