No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1021-1021 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1020-1020 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1019-1019 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1022-1022 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1028-1028 |
WindowsOS3 est une sous-classe de WindowsOS |