No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1099-1099 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1098-1098 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1097-1097 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1100-1100 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1106-1106 |
Windows8 e' uma sub-classe de WindowsOS |