No TPTP formula. May not be expressible in strict first order. | engineering.kif 1083-1083 | BjtTransistor e' uma sub-classe de Transistor |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1100-1100 | NpnTransistor e' uma sub-classe de BjtTransistor |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1104-1104 | PnpTransistor e' uma sub-classe de BjtTransistor |
![]() |