Special issue on application of Quantifier Elimination - Foreword

被引：1
|
作者：
Hong, H [1 ]
Liska, R [1 ]
机构：
[1] CZECH TECH UNIV, PRAGUE, CZECH REPUBLIC
来源：
JOURNAL OF SYMBOLIC COMPUTATION | 1997年 / 24卷 / 02期
关键词：
D O I：
10.1006/jsco.1997.0117
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：123 / 123
页数：1
相关论文
共 50 条
  • [31] Foreword to Special Issue
    Antoch, Jaromir
    Dohnal, Gejza
    APPLIED STOCHASTIC MODELS IN BUSINESS AND INDUSTRY, 2020, 36 (01) : 143 - 144
  • [32] Foreword to the Special Issue
    Y.C. Ho
    Discrete Event Dynamic Systems, 1998, 8 (2) : 99 - 99
  • [33] Foreword to the special issue
    Pentikousis, Kostas
    Bertin, Philippe
    TELECOMMUNICATION SYSTEMS, 2015, 59 (02) : 189 - 191
  • [34] Foreword to special issue
    Kutlu, Omer
    INTERNATIONAL JOURNAL OF ASSESSMENT TOOLS IN EDUCATION, 2022, 9 : IV - IX
  • [35] Special issue foreword
    Fane, Tony
    Tang, Chuyang
    DESALINATION, 2014, 343 : 1 - 1
  • [36] Foreword to the special issue
    John Mylopoulos
    Requirements Engineering, 1997, 2 (2) : 63 - 64
  • [37] Guest editors' foreword to the special issue on Virtual Reality in Scientific Application FOREWORD
    Gervasi, Osvaldo
    Ranon, Roberto
    VIRTUAL REALITY, 2009, 13 (04) : 219 - 220
  • [38] Application of quantifier elimination to inverse buckling problems
    Ioakimidis, Nikolaos I.
    ACTA MECHANICA, 2017, 228 (10) : 3709 - 3724
  • [39] Variant Real Quantifier Elimination: Algorithm and Application
    Hong, Hoon
    El Din, Mohab Safey
    ISSAC2009: PROCEEDINGS OF THE 2009 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, 2009, : 183 - 190
  • [40] Application of quantifier elimination to inverse buckling problems
    Nikolaos I. Ioakimidis
    Acta Mechanica, 2017, 228 : 3709 - 3724
12345