TY  - JOUR
AU  - U. M. Bishenov
TI  - Procedure for assessing the truth of statements of discrete linear time logic
JO  - News of the Kabardin-Balkar scientific center of RAS
PY  - 1998
SP  - 32
EP  - 37
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IZKAB_1998_1_a5/
LA  - ru
ID  - IZKAB_1998_1_a5
ER  -