![]() |
first order logic | |
comp. | логика первого порядка |
first-order logic | |
comp. | исчисление предикатов первого порядка |
el. | логика предикатов первого порядка |
based | |
astronaut. | базирующийся; дислоцированный; находящийся; развёрнутый на стартовых позициях |
formalism | |
gen. | формализм |
first-order logic: 8 phrases in 4 subjects |
Artificial intelligence | 2 |
Logic | 4 |
Mathematics | 1 |
Programming | 1 |