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 条

[1] COMPUTATIONAL QUANTIFIER ELIMINATION - SPECIAL ISSUE
HONG, H
COMPUTER JOURNAL, 1993, 36 (05): : 399 - 399
[2] Special issue on Applications of Quantifier Elimination - Foreword of the guest editors (vol 24, pg 123, 1997)
不详
JOURNAL OF SYMBOLIC COMPUTATION, 1997, 24 (3-4) : 507 - 507
[3] Special issue on polynomial elimination - Foreword of the guest editors
Kalkbrener, M
Wang, DM
JOURNAL OF SYMBOLIC COMPUTATION, 1999, 28 (1-2) : 1 - 2
[4] Special issue - Biological application - Foreword
Mellon, F
JOURNAL OF ANALYTICAL ATOMIC SPECTROMETRY, 1997, 12 (10) : N61 - N62
[5] Special issue on InSAR application - Foreword
Lin, H
Liao, MS
PHOTOGRAMMETRIC ENGINEERING AND REMOTE SENSING, 2004, 70 (10): : 1129 - 1130
[6] Foreword to Special Issue: Malaria elimination in the Asia-Pacific
Das, Sarthak
ASIA & THE PACIFIC POLICY STUDIES, 2021, 8 (02): : 171 - 172
[7] Foreword to the Special Issue on Application of Nanomaterials in Dentistry
Derchi, Giacomo
Marchio, Vincenzo
APPLIED SCIENCES-BASEL, 2022, 12 (20):
[8] Foreword to special issue Foreword
Blackman, Bamber R. K.
ENGINEERING FRACTURE MECHANICS, 2015, 149 : 191 - 191
[9] SPECIAL ISSUE - APPLICATION OF COMPUTERS TO ROTOCRAFT ANALYSIS - FOREWORD
PETERS, DA
COMPUTERS & MATHEMATICS WITH APPLICATIONS-PART A, 1986, 12 (01): : R9 - R9
[10] Foreword to the Special Issue
GAO Xiao-Shan
LI Hongbo
WANG Dongming
JournalofSystemsScience&Complexity, 2019, 32 (01) : 1 - 2

← 1 2 3 4 5 →