|
|
|
|
| LEADER |
00000naa2a2200000 4500 |
| 001 |
394249 |
| 005 |
20231101064501.0 |
| 035 |
|
|
|a (RuTPU)RU\TPU\prd\30931
|
| 090 |
|
|
|a 394249
|
| 100 |
|
|
|a 20041214a2004 k y0rusy50 ca
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 200 |
1 |
|
|a Автоматический синтез структурного описания конструкции
|f И. А. Барков
|
| 225 |
1 |
|
|a Системы автоматизированного проектирования
|
| 320 |
|
|
|a Библиогр.: 2 назв.
|
| 461 |
|
1 |
|0 (RuTPU)RU\TPU\prd\1520
|t Информационные технологии
|o теоретический и прикладной научно-технический журнал
|d 2000-
|
| 463 |
|
1 |
|0 (RuTPU)RU\TPU\prd\25743
|t № 3
|v С. 2-8
|d 2004
|
| 610 |
1 |
|
|a теоретико-игровые решения
|
| 610 |
1 |
|
|a конструкции
|
| 610 |
1 |
|
|a структурное описание
|
| 610 |
1 |
|
|a автоматический синтез
|
| 610 |
1 |
|
|a семантические описания
|
| 610 |
1 |
|
|a формализованное техническое задание
|
| 610 |
1 |
|
|a свойства
|
| 675 |
|
|
|a 658.512.011.56
|v 3
|
| 700 |
|
1 |
|a Барков
|b И. А.
|
| 801 |
|
1 |
|a RU
|b 63413507
|c 20041214
|g PSBO
|
| 801 |
|
2 |
|a RU
|b 63413507
|c 20130507
|g RCR
|
| 942 |
|
|
|c BK
|