МАТЕМАТИКА

О сложности алгорифмов, связанных с реализацией логико-арифметических и пропозициональных формул

В. И. Хомич

Московский государственный университет имени М. В. Ломоносова

УДК: 517.11

Статья представлена к публикации: П. С. Новиков
Поступило: 04.09.1969

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

• 
•