Please be patient while the object screen loads.
Электронная библиотека (репозиторий)
Томского государственного университета
English
Русский
Home
Show
All
Show
Quick Collection
Browse ↓
Communities & Collections
By Title
By Creator
By Subject
By Date
Additional Resources
Search History
Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
-
Сделать пожертвование
-
Advanced Search
эквивалентность
|
Винарский, Евгений Максимович
Add to Quick Collection
Description
Size
Format
Экспериментальное сравнение методов проверки эквивалентности расширенных полуавтоматов
400 KB
Adobe Acrobat PDF
View Details
Download
Title
Экспериментальное сравнение методов проверки эквивалентности расширенных полуавтоматов
Title
Experimental comparison of equivalence checking methods for extended automata
Creator
Лапутенко, Андрей Владимирович
Creator
Винарский, Евгений Максимович
Creator
Твардовский, Александр Сергеевич
Subject
полуавтоматы
расширенные полуавтоматы
эквивалентность
методы проверки эквивалентности
Date
2022
Relationships
Show Relationship Browser for this Object
collection(s)
Институт прикладной математики и компьютерных наук (c 01.09.2017 г.)
Радиофизический факультет
Identifier
koha:000927128
https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000927128
Type
статьи в сборниках
Source
Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 74-75
Language
rus
188 Visitors
132 Hits
61 Downloads
Preview
Радиофизический факультет
Институт прикладной математики и компьютерных наук (c 01.09.2017 г.)
Экспериментальное сравнение методов проверки эквивалентности расширенных полуавтоматов
^ DIV >