Архив академика А.П.Ершова

Архив

Международные конференции, семинары, симпозиумы, конгрессы, школы, коллоквиумы

Международный коллоквиум по частичным и смешанным вычислениям

Статьи (по смешанным вычислениям)

Статья

Статья
"Mixed calculation and verification of symbol manipulation"

Названия статей: "Mixed calculation and verification of simbol manipulation".
Оригинальный язык документа: английский
Авторы: Александр Васильевич Грох, А. Г. Красовский

Изображения страниц:


	1	2	3	4	5	6	7	8	9	10	11	12	13

Назад
Следующий документ (Список)
Предыдущий документ (Статья)

Switch to English | Поиск | Расширенный поиск | Папки | Темы