Портал НЭБ предлагает вам скачать или читать онлайн диссертацию (автореферат) на тему «Конгруэнции на термах и унификация : : автореферат дис. .. кандидата физико-математических наук : 01.01.09» ББК:З811с11,0, автора Гавриленко Ю.В. Документ был издан в 1993 году. Содержит 18 с.
Выражаем благодарность библиотеке «Российская государственная библиотека (РГБ)» за предоставленный материал.
017
##
$a: 93-6764А
$b: RuMoRKP
035
##
$a: (RuMoRGB)DIS-0040346
040
##
$a: RuMoRGB
$b: rus
$c: RuMoRGB
072
#1
$a: 01.01.09
$2: nsnr
084
##
$a: З811с11,0
$2: rubbk
100
1#
$a: Гавриленко, Юрий Вячеславович
245
##
$a: Конгруэнции на термах и унификация :
$b: автореферат дис. ... кандидата физико-математических наук : 01.01.09
$c: Рос. АН. ВЦ
650
#1
$a: Математическая кибернетика
$2: nsnr
787
11
$w: 002180550
$i: Диссертация
852
1#
$a: РГБ
$b: FB
$c: D13N
$j: 9 93-3/355-3
$x: 90
852
1#
$a: РГБ
$b: FB
$c: T026
$j: 9 93-3/356-1
$x: 82
856
11
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01000000000/rsl01000039000/rsl01000039919/rsl01000039919.pdf
$y: Читать
977
##
$a: dlopen
$b: dlrgb
$c: osk
$d: Отдел сканирования
979
##
$a: autoref
$b: Каталог авторефератов диссертаций
$c: rgb