Automated Reasoning for Systems Biology and Medicine Preface

被引：0

|

作者：

Lio, Pietro

Zuliani, Paolo

机构：

来源：

AUTOMATED REASONING FOR SYSTEMS BIOLOGY AND MEDICINE | 2019年 / 30卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

收藏

页码：V / VII

页数：3

相关论文

共 50 条

[1] Preface to the Special Issue on Automated Reasoning Systems
Armin Biere
Cesare Tinelli
Christoph Weidenbach
Journal of Automated Reasoning, 2020, 64 : 361 - 362
[2] Preface to the Special Issue on Automated Reasoning Systems
Biere, Armin
Tinelli, Cesare
Weidenbach, Christoph
JOURNAL OF AUTOMATED REASONING, 2020, 64 (03) : 361 - 362
[3] THE FIELD OF AUTOMATED REASONING - PREFACE
WOS, L
COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1995, 29 (02) : R11 - R14
[4] Journal of Automated Reasoning: Preface
Felty, A.P., 1600, Kluwer Academic Publishers (31): : 3 - 4
[5] Journal of Automated Reasoning: Preface
Beckert, Bernhard
Paulson, Lawrence C.
Journal of Automated Reasoning, 2007, 38 (1-3) : 1 - 2
[6] Journal of Automated Reasoning: Preface
Giesl, Jurgen
Kapur, Deepak
Journal of Automated Reasoning, 2005, 34 (02): : 103 - 104
[7] Proceedings of the Conference on Dynamical Systems in Biology and Medicine -: Preface
Györi, I
MATHEMATICAL AND COMPUTER MODELLING, 2000, 31 (4-5) : XIII - XIII
[8] THE ART OF REASONING IN BIOLOGY AND MEDICINE
HAMBURGER, J
DIOGENES, 1987, (138) : 26 - 40
[9] Advances in Experimental Medicine and Biology Proteomics, Metabolomics, Interactomics and Systems Biology Preface
Colnaghi Simionato, Ana Valeria
SEPARATION TECHNIQUES APPLIED TO OMICS SCIENCES: FROM PRINCIPLES TO RELEVANT APPLICATIONS, 2021, 1336 : VII - VII
[10] From syntax to semantics in systems biology towards automated reasoning tools
Fages, Francois
TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY IV, 2006, 3939 : 68 - 70

← 1 2 3 4 5 →