TY  - GEN
TI  - Matematicheskoe obespechenie sistem logicheskogo vyvoda i deduktivnyh postroenii na EVM: Sbornik nauchnyh trudov
U1  - 681.3.06 
PY  - 1983///
CY  - Kiev
PB  - Institut kibernetiki
N1  - Cuprinde bibliografie pe capitole; Scriere chirilica; Deasupra titlului: Akademiia Nauk Ukrainskoj SSR; Ordena Lenina Institut kibernetiki im. V. M. Glushkova; Nauchnyj sovet po probleme "Kibernetika"
ER  -