No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1066-1066 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1065-1065 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1064-1064 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1067-1067 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1073-1073 |
WindowsXP e' uma sub-classe de WindowsOS |