AAAAAA

   
Results: 1-2 |
Results: 2
PROBLEM-ORIENTED KNOWLEDGE BASES AND THEIR APPLICATION IN THE PROGRAMVERIFICATION SYSTEM SPEKTR
Authors: NEPOMNYASHCHII VA SULIMOV AA
Citation: Va. Nepomnyashchii et Aa. Sulimov, PROBLEM-ORIENTED KNOWLEDGE BASES AND THEIR APPLICATION IN THE PROGRAMVERIFICATION SYSTEM SPEKTR, Journal of computer & systems sciences international, 36(2), 1997, pp. 321-327
VERIFICATION OF LINEAR ALGEBRA PROGRAMS IN THE SPEKTR SYSTEM
Authors: NEPOMNYASHCHII VA SULIMOV AA
Citation: Va. Nepomnyashchii et Aa. Sulimov, VERIFICATION OF LINEAR ALGEBRA PROGRAMS IN THE SPEKTR SYSTEM, Cybernetics and systems analysis, 28(5), 1992, pp. 766-774
Risultati: 1-2 |