Вычислительные системы Рос. акад. наук. Сиб. отд-ние. Ин-т математики им. С.Л. Соболева

Сохранить в:
Библиографические подробности
Тип документа: Книга
Язык:Russian
Год издания: Новосибирск 1990
Ключевые слова:
LEADER 01077nam0a2200265 i 4500
001 586213C6-B0DE-4149-B7A5-50667EB92FA0
010 |d р.1.00 
100 |a 20090317d1990 |||y0rusy02  
101 0 |a rus 
102 |a RU 
105 |a a ||||000zy 
200 1 |a Вычислительные системы  |e сб. науч. тр.  |f Рос. акад. наук. Сиб. отд-ние. Ин-т математики им. С.Л. Соболева  |h 133  |i Логические методы в программировании  |f науч. ред.: Ю. Л. Ершов, С. С. Гончаров 
210 |a Новосибирск  |d 1990 
215 |a 188, [1]с.  |c ил.  |d 20 см 
320 |a Библиогр. в конце ст. 
606 |a Вычислительные системы 
606 |a Логическое программирование 
686 |a 32.973.202  |2 rubbk 
686 |a 50  |2 rugasnti 
702 1 |a Ершов  |b Ю. Л.  |4 340 
702 1 |a Гончаров  |b С. С.  |4 340 
801 0 |b ГПНТБ России  |a RU  |c 20090317