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]