Транслятор системы поиска выводов / И. В. Горская, М. А. Короткова, С. В. Попов

Сохранено в:
Шифр документа: 72161,
Вид документа: Книги
Автор: Горская, И. В.
Опубликовано: М. , 1985
Физические характеристики: 28 с.
Язык: Русский
Серия: Препринт № 42, за 1985 г.
Предмет:
00000cam0a22000001ib4500
001 BY-NLB-rr33806680000
005 20150722093111.0
010 # # $d 10 к. 
021 # # $a RU  $b [85-46161] 
100 # # $a 20070720d1985 y0rusy50 ||||ca 
101 0 # $a rus 
102 # # $a RU 
200 1 # $a Транслятор системы поиска выводов  $f И. В. Горская, М. А. Короткова, С. В. Попов 
210 # # $a М.  $d 1985 
215 # # $a 28 с. 
225 2 # $a Препринт  $f Ин-т прикл. математики им. М. В. Келдыша. АН СССР  $v № 42, за 1985 г. 
300 # # $a Библиогр.: с. 28 (5 назв.) 
345 # # $9 180 экз. 
610 0 # $a Трансляторы 
675 # # $a 681.3.068 
700 # 1 $a Горская  $b И. В.  $g Ирина Викторовна 
801 # 1 $a BY  $b BY-HM0000  $c 20070720  $g psbo