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