Неразрешимое промежуточное исчисление
Page 1
Displaying 1 – 4 of 4
О поиске вывода в исчислениях общего типа
С.Ю. Маслов (1973)
Zapiski naucnych seminarov Leningradskogo
О правилах типа сечения в исчислениях общего вида
С.Ю. Маслов, С.A. Норгела (1974)
Zapiski naucnych seminarov Leningradskogo
О существовании нерекурсивных базисов конечных автоматов
М.И. Кратко (1964)
Algebra i Logika
Currently displaying 1 – 4 of 4
Page 1