Результаты поиска авторов

/vufind

Диофантово представление перечислимых предикатов: (007): Автореф. дис. на соискание учен. степени д-ра физ.-мат. наук / АН СССР. Мат. ин-т им. В. А. Стеклова. Ленингр. отд-ние. - Л., 1971. - 10 с.

“...Матиясевич Ю. В....”

О канонических исчислениях и связанных с ними массовых проблемах: (007): Автореф. дисс. на соискание учен. степени канд. физ.-мат. наук / АН СССР. Матем. ин-т им. В. А. Стеклова. Ленингр. отд-ние. - Л., 1970. - 12 с.

“...Матиясевич Ю. В....”

Исследования по конструктивной математике и математической логике. 7 : сборник работ / под редакцией Ю. В. Матиясевича и А. О. Слисенко. — Ленинград : Наука, Ленинградское отделение, 1976. — 227 с. — (Записки научных семинаров ЛОМИ ; т. 60)

“...Матиясевич Ю. В. 340...”

Исследования по конструктивной математике и математической логике. 4 : сборник работ / под редакцией Ю. В. Матиясевича и А. О. Слисенко. — Ленинград : Наука, Ленинградское отделение, 1971. — 294 с. — (Записки научных семинаров ЛОМИ ; т. 20)

“...Матиясевич Ю. В. 340...”

Исследования по конструктивной математике и математической логике. 8 : сборник работ / под редакцией Ю. В. Матиясевича и А. О. Слисенко. — Ленинград : Наука, Ленинградское отделение, 1979. — 249 с. — (Записки научных семинаров ЛОМИ ; т. 88)

“...Матиясевич Ю. В. 340...”

Исследования по конструктивной математике и математической логике. 5 : сборник работ / под редакцией Ю. В. Матиясевича и А. О. Слисенко. — Ленинград : Наука, Ленинградское отделение, 1972. — 162 с. — (Записки научных семинаров ЛОМИ ; т. 32)

“...Матиясевич Ю. В. 340...”

Исследования по конструктивной математике и математической логике. 6 : сборник работ / под редакцией Ю. В. Матиясевича и А. О. Слисенко. — Ленинград : Наука, Ленинградское отделение, 1974. — 161 с. — (Записки научных семинаров ЛОМИ ; т. 40)

“...Матиясевич Ю. В. 340...”