An efficient method for synthesizing correct recognition algorithms
Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 24 (1984) no. 7, pp. 1079-1086
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{ZVMMF_1984_24_7_a10,
author = {I. V. Isaev},
title = {An efficient method for synthesizing correct recognition algorithms},
journal = {\v{Z}urnal vy\v{c}islitelʹnoj matematiki i matemati\v{c}eskoj fiziki},
pages = {1079--1086},
publisher = {mathdoc},
volume = {24},
number = {7},
year = {1984},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZVMMF_1984_24_7_a10/}
}
TY - JOUR AU - I. V. Isaev TI - An efficient method for synthesizing correct recognition algorithms JO - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki PY - 1984 SP - 1079 EP - 1086 VL - 24 IS - 7 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/ZVMMF_1984_24_7_a10/ LA - ru ID - ZVMMF_1984_24_7_a10 ER -
I. V. Isaev. An efficient method for synthesizing correct recognition algorithms. Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 24 (1984) no. 7, pp. 1079-1086. http://geodesic.mathdoc.fr/item/ZVMMF_1984_24_7_a10/