|
|
|
|
| LEADER |
01878nab a2200325 c 4500 |
| 001 |
vtls000472663 |
| 003 |
RU-ToGU |
| 005 |
20240723112957.0 |
| 007 |
cr | |
| 008 |
170612s2013 ru s c rus d |
| 035 |
|
|
|a to000472663
|
| 039 |
|
9 |
|a 201706122226
|b 100
|c 201403210922
|d cat202
|c 201403201028
|d VLOAD
|y 201403201005
|z Александр Эльверович Гилязов
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 100 |
1 |
|
|a Евтушенко, Нина Владимировна
|9 70064
|
| 245 |
1 |
0 |
|a К синтезу проверяющих тестов для недетерминированных автоматов относительно редукции
|c Н. В. Евтушенко, А. Ф. Петренко
|
| 504 |
|
|
|a Библиогр.: 2 назв.
|
| 653 |
|
|
|a недетерминированные автоматы
|
| 653 |
|
|
|a проверяющие тесты
|
| 653 |
|
|
|a безусловные тесты
|
| 653 |
|
|
|a конкатенация
|
| 653 |
|
|
|a идентификаторы
|
| 655 |
|
4 |
|a статьи в журналах
|9 879358
|
| 700 |
1 |
|
|a Петренко, Александр Федорович
|9 95116
|
| 710 |
2 |
|
|a Томский государственный университет
|b Радиофизический факультет
|b Кафедра информационных технологий в исследовании дискретных структур
|9 81023
|
| 773 |
0 |
|
|t Известия высших учебных заведений. Физика
|d 2013
|g Т. 56, № 9/2. С. 151-155
|x 0021-3411
|w 0026-80960
|
| 852 |
4 |
|
|a RU-ToGU
|
| 856 |
7 |
|
|u http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000472663
|
| 856 |
|
|
|y Перейти в каталог НБ ТГУ
|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=271600
|
| 908 |
|
|
|a статья
|
| 999 |
|
|
|c 271600
|d 271600
|
