доведення

Terms for subject Information technology containing доведення | all forms

Ukrainian	English
машина для виконування логічних доведень	inference engine
теорія доведень	proof theory