No TPTP formula. May not be expressible in strict first order. | engineering.kif 1064-1064 | 子類 晶體管 and 半導體元件 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1083-1083 | 子類 bjt晶體管 and 晶體管 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1087-1087 | 子類 fet 晶體管 and 晶體管 |
![]() |