Публікація:
Модификация вычислительных процедур средствами алгебры конечных предикатов

Завантаження...
Зображення мініатюри

Дата

2002

Назва журналу

ISSN журналу

Назва тома

Видавництво

ХНУРЭ

Дослідницькі проекти

Організаційні підрозділи

Видання журналу

Анотація

Опис

Модификация вычислительных процедур средствами алгебры конечных предикатов

Ключові слова

Бібліографічний опис

Балыкин В. Н. Модификация вычислительных процедур средствами алгебры конечных предикатов / В. Н. Балыкин, Г. Г. Четвериков, И. А. Ревенчук // Сборник научных трудов по материалам 8-й Международной конференции "Теория и техника передачи, приемма и обработки информации"("Интегрированные информационные системы, сети и технологии") ИИСТ-2002 – Харьков : ХНУРЭ, 2002. – С. 546-548.

DOI