No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1181-1181 |
子類 離散 and 數學方法 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1170-1170 |
子類 傅立葉分析 and 數學方法 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1175-1175 |
子類 傅立葉合成 and 數學方法 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36491-36491 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36490-36490 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36489-36489 |
|