Самофалов Павло Леонідович. Методи застосування таблиць рішень у системах формального виводу і програмних комплексах : Дис... канд. наук: 01.05.03 - 2001.