No TPTP formula. May not be expressible in strict first order. | engineering.kif 1165-1165 | MathematicalMethod est une sous-classe de Method |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1170-1170 | FourierAnalysis est une sous-classe de MathematicalMethod |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1175-1175 | FourierSynthesis est une sous-classe de MathematicalMethod |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1181-1181 | Discretization est une sous-classe de MathematicalMethod |