- помеченное двоичное дерево
- мат. sorting tree
Большой англо-русский и русско-английский словарь. 2001.
помеченное двоичное дерево
Смотреть что такое "помеченное двоичное дерево" в других словарях:
Список структур данных — … Википедия
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
