(NmETODY PREDSTAWLENIQ ZNANIJ I DOKAZATELXNOE PROGRAMMIROWANIE (B:s (NsBORNIK NAU^NYH TRUDOW (B/s - (N`]ENKO(B, (NeKATERINA lOGWINOWNAs; (NiNSTITUT KIBERNETIKI IM(B. (Nw(B.(Nm(B. (NgLU[KOWAs ((NkIEW (B:s (Nb(B. (NI(B.,s, 1990)
Keywords: (NwY^ISLITELXNYE MA[INY \LEKTRONNYE (B- (NpROGRAMMIROWANIE (B- (NsBORNIKIs; (NpREDSTAWLENIE ZNANIJ (B- (NsBORNIKIs