Department of Management Information Systems, NCCU

Google Search
Language
- 繁體中文
- 简体中文
- English
Login

Language
- 繁體中文
- 简体中文
- English
Open login

:::

The Finance AI Cloud lab
Lab. of Intelligent Finances and Smart Contracts
E-Business Lab
Ambient e-Services Laboratory
Software Security Lab
IT Innovation Lab
Emerging Technologies and Applications Lab
Lab for Electronic Commerce and Service Science
Digital Innovation & Management Research Lab
Formal Methods and Automated Reasoning Lab.
BPM & Enterprise Systems
Decision and Quantitative Analysis Lab
Digital Sustainable Enablement Lab
Natural Language Understanding Lab
Human-Automation Interaction Lab

14117

Formal Methods and Automated Reasoning Lab.

Name	Formal Methods and Automated Reasoning Lab.
Location	260530 5F, College of Commerce Building
Professor	Chih-Duo Hong

Department of Management Information Systems, National Chengchi University © All RIGHTS RESERVED, Please see Terms of use
Tel：886-2-29393091 ext:89055 89057 63681 63682 Fax：886-2-29393754
Address：No.64, Sec. 2, Zhi-Nan Rd., Wenshan District, Taipei City 11605, Taiwan (R.O.C.) E-Mail：mis@nccu.edu.tw

Visits : 25411124