Синтаксическая однозначность при представлении знаний в логике первого порядка
Пономарёв Денис Константинович. Синтаксическая однозначность при представлении знаний в логике первого порядка : дис. ... канд. физ.-мат. наук : 05.13.11 Новосибирск, 2006 89 с. РГБ ОД, 61:07-1/324