语义表格算法

semantic tableaux algorithm

пословный:

语义表	表格	算法
_семантическая таблица	biǎogé 1) бланк, форма; таблица; ведомость 2) сетка	suànfǎ 1) мат. алгоритм 2) уст. арифметика 3) исчисление, способ исчисления