Англо-український словник технічних термінів
inference problem
Проблема (логічного) виведення
Англо-український словник технічних термінів
inference operation
inference rule