keymaerax.org
网站标题: KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems
网站简介: KeYmaera X is an aXiomatic Tactical Theorem Prover for Hybrid Systems with a minimal prover core and a flexible tactics language for automatic proof search.
关键字: KeYmaeraamp;nbsp;X  differential  dynamic  logic  hybrid  systems  tool  hybrid  systems  prover  hybrid  systems  proof  hybrid  games  tool  uniform  substitution  sequent  calculus  

 

erdrich-umformtechnik.de
网站标题: erdrich-umformtechnik.de
网站简介: erdrich-umformtechnik.de
关键字: erdrich-umformtechnik.de

 

kehongchem.com
网站标题: Zhejiang Kehong Chemical Co., Ltd.|--Hydroxy Propyl Methyl C
网站简介: Zhejiang Kehong Chemical Co., Ltd.|--Hydroxy Propyl Methyl C
关键字: Hydroxy  Propyl  Methyl  Cellulose(HPMC)  Hydroxyethylmethylcellulose(HEC)  Methylcellulose  (MC)  Ethylcellulose(EC)  High  Substitution  Hydroxypropylcellulos  

 

    1/1  [1] 

 

Copyright © 2020 VNWEEK.COM All Rights Reserved.

本站内容为搜索引擎蜘蛛自动抓取,不代表本站赞成所显示网站的内容或立场。

关于我们 联系我们 谷歌地图 百度地图 删除页面