Машинный алгорифм установления выводимости на основе обратного метода

Г. В. Давыдов, С. Ю. Маслов, Г. Е. Минц, В. П. Оревков, А. О. Слисенко

Реферативные базы данных:

• 
•