广西混杂计算与集成电路设计分析重点实验室

 首页  实验室概况  科学研究  学术委员会  科研平台  研发中心  人才培养 
站内搜索:
计算与推理研究中心
 微分代数方程 
 自动推理 
 混杂计算与应用 
 智能计算与优化 

新闻动态

MACIS 2013 - Fifth International ...
第九届国际智能计算学术会议(ICIC20...
实验室成员参加自治区知识产权培训
实验室成员赴桂林参加中日信息科学...
意大利比萨大学法布里齐奥·卢西奥教...
实验室成员将赴桂林参加中日信息科...
2012年度实验室喜获3项广西自然科学...

计算与推理研究中心
您的位置: 首页>>研发中心>>计算与推理研究中心
计算与推理研究中心

研究方向:

1.微分代数方程

2.自动推理

3.混杂计算与应用

4.智能计算与优化
【详细】

广西混杂计算与集成电路设计分析重点实验室  地址:广西南宁市大学东路188号
邮编:530006

[登录]