Special issue on practical aspects of automated reasoning Preface

被引：0

作者：

Konev, Boris ^{[1
]}

Schmidt, Renate A. ^{[2
]}

Schulz, Stephan ^{[3
]}

机构：

[1] Univ Liverpool, Liverpool L69 3BX, Merseyside, England

[2] Univ Manchester, Manchester, Lancs, England

[3] Tech Univ Munich, Munich, Germany

来源：

AI COMMUNICATIONS | 2010年 / 23卷 / 2-3期

关键词：

D O I：

10.3233/AIC-2010-0455

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：67 / 68

页数：2

共 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] Special issue on automated reasoning with analytic tableaux - Preface
Beckert, Bernhard
Paulson, Lawrence C.
JOURNAL OF AUTOMATED REASONING, 2007, 38 (1-3) : 1 - 2
[4] Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning"
Bauer, Lujo
Etalle, Sandro
den Hartog, Jerry
Vigano, Luca
JOURNAL OF AUTOMATED REASONING, 2011, 46 (3-4) : 223 - 224
[5] Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning”
Lujo Bauer
Sandro Etalle
Jerry den Hartog
Luca Viganò
Journal of Automated Reasoning, 2011, 46 : 223 - 224
[6] SPECIAL ISSUE ON - AUTOMATED REASONING WITH ANALYTIC TABLEAUX .1. PREFACE
WRIGHTSON, G
JOURNAL OF AUTOMATED REASONING, 1994, 13 (02) : 173 - 173
[7] Special issue: Practical aspects of drug testing in hair - Preface
Kintz, Pascal
FORENSIC SCIENCE INTERNATIONAL, 2008, 176 (01) : 1 - 1
[8] Preface to the special issue on geometric reasoning
Jacques Fleuriot
Tetsuo Ida
Annals of Mathematics and Artificial Intelligence, 2016, 77 : 155 - 156
[9] Preface: Special Issue on Uncertain Reasoning
Yang Xiang
Kevin Grant
Journal of Automated Reasoning, 2010, 45 : 1 - 2
[10] Preface to the special issue on geometric reasoning
Fleuriot, Jacques
Ida, Tetsuo
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2016, 77 (1-2) : 155 - 156

← 1 2 3 4 5 →