Hits:

Project Name:Multi-Typed Temporal Logic Programming Design

Institution:Xidian University

Teaching and Research Group:ICTT and ISN Lab

Leading Scientist:ZHAOLIANG

Status:study complete

Type of Research Outcome:Thesis

Classification of Project:National Natural Science Foundation

Sub-Class of Project:Young science foundation project

Project Source:National Natural Science Foundation of China (NSFC)

Project Level:National

Project Number:F020106

Discipline:Engineering

First-Level Discipline:Computer Science and Technology

Date of Project Approval:2014-08-16

Scheduled Completion Time:2017-12-31

Date of Project Completion:2017-12-31

Date of Project Initiation:2015-01-01

Project Approval Number:61402347

Date:2019-01-22