(NpRIKLADNAQ LOGIKA INFORMATIKI (B/s - (NkOZA^KOW(B, (NlEW sEMENOWI^s; (NaKADEMIQ NAUK ussrs; (NiNSTITUT KIBERNETIKI IM(B. (Nw(B.(Nm(B. (NgLU[KOWA an ussrs ((NkIEW (B:s (NnAUK(B. (NDUMKA(B,s, 1990)
(NbIBLIOGR(B.: (NS(B. 249-252s
Keywords: (NiNFORMATIKA (B- (NlOGI^ESKIE OSNOWYs