Deductive tools of system of algebraic programming

被引：0
|
作者：
Kapitonova, Yu.V.
Letichevskij, A.A.
Volkov, V.A.
机构：
来源：
Kibernetika i Sistemnyj Analiz | 2000年 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：17 / 35
相关论文
共 50 条
  • [1] Deductive tools of an algebraic programming system
    Kapitonova, YV
    Letichevskii, AA
    Volkov, VA
    CYBERNETICS AND SYSTEMS ANALYSIS, 2000, 36 (01) : 12 - 26
  • [2] Deductive tools of an algebraic programming system
    Yu. V. Kapitonova
    A. A. Letichevskii
    V. A. Volkov
    Cybernetics and Systems Analysis, 2000, 36 : 12 - 26
  • [3] Tools for simulation of parallel computations in a system of algebraic programming
    Matveyeva, LE
    Chugaenko, AV
    CYBERNETICS AND SYSTEMS ANALYSIS, 1999, 35 (03) : 500 - 506
  • [4] Tools for simulation of parallel computations in a system of algebraic programming
    L. E. Matveyeva
    A. V. Chugaenko
    Cybernetics and Systems Analysis, 1999, 35 : 500 - 506
  • [5] ALGEBRAIC PROGRAMMING - METHODS AND TOOLS
    KAPITONOVA, YV
    LETICHEVSKII, AA
    CYBERNETICS AND SYSTEMS ANALYSIS, 1993, 29 (03) : 307 - 312
  • [6] Tools for solving problems in the scope of algebraic programming
    Kapitonova, YV
    Letichevsky, AA
    Lvov, MS
    Volkov, VA
    INTEGRATING SYMBOLIC MATHEMATICAL COMPUTATION AND ARTIFICIAL INTELLIGENCE, 1995, 958 : 30 - 47
  • [7] Objects in algebraic programming system
    A. A. Letichevskii
    V. G. Marinchenko
    Cybernetics and Systems Analysis, 1997, 33 : 283 - 299
  • [8] ALGEBRAIC TOOLS FOR SYSTEM CONSTRUCTION
    BERGSTRA, JA
    KLOP, JW
    TUCKER, JV
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 164 : 34 - 44
  • [9] Algebraic Semantics for Deductive Systems
    W. J. Blok
    J. Rebagliato
    Studia Logica, 2003, 74 (1-2) : 153 - 180
  • [10] DEDUCTIVE DATABASE TOOLS
    TOPOR, RW
    KEDDIS, T
    WRIGHT, DW
    AUSTRALIAN COMPUTER JOURNAL, 1985, 17 (04): : 163 - 173
12345