No TPTP formula. May not be expressible in strict first order. |
engineering.kif 190-190 |
微分方程 分拆成不相交的 常微分方程 和 偏微分方程 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 194-194 |
贝塞尔斯方程 是 常微分方程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 199-199 |
范德波尔斯方程 是 常微分方程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42462-42462 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42461-42461 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42460-42460 |
|