No TPTP formula. May not be expressible in strict first order. | engineering.kif 1165-1165 | MathematicalMethod e' uma sub-classe de Method |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1170-1170 | FourierAnalysis e' uma sub-classe de MathematicalMethod |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1175-1175 | FourierSynthesis e' uma sub-classe de MathematicalMethod |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1181-1181 | Discretization e' uma sub-classe de MathematicalMethod |
![]() |