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