 |
Terms for subject Computers containing исчисление предикатов | all forms | exact matches only | in specified order only
| Russian | English |
| исчисление предикатов первого порядка | first-order logic |
| исчисление предикатов первого порядка | elementary logic |
| исчисление предикатов первого порядка | first order predicate calculus |