|
|
|
Publications in Math-Net.Ru |
Citations |
|
1998 |
| 1. |
V. V. Knyazev, D. A. Lovtsov, “Situational planning of protected measurement data processing in automatic control systems of testing complex dynamic objects”, Avtomat. i Telemekh., 1998, no. 9, 166–181   ; Autom. Remote Control, 59:9 (1998), 1336–1346 |
1
|
|
1990 |
| 2. |
V. V. Knyazev, “A zero-one law for many-sorted first-order predicate logic”, Diskr. Mat., 2:3 (1990), 97–101  ; Discrete Math. Appl., 2:2 (1992), 219–223 |
|
1989 |
| 3. |
V. V. Knyazev, V. A. Talanov, “On the satisfiability fraction for formulas of $k$-valued logic with quantifiers min and max”, Diskr. Mat., 1:3 (1989), 104–110 |
|
| Organisations |
|
|
Contact us: