Journal of Automated Reasoning: Preface

Serge Autexier; Heiko Mantel; Stephan Merz; Tobias Nipkow

doi:10.1007/s10817-008-9110-9

Journal of Automated Reasoning: Preface

Serge Autexier
, Heiko Mantel
, Stephan Merz
, Tobias Nipkow

Informatics 7 - Chair of Theoretical Computer Science

DFKI
Technische Universität Darmstadt
CALVI-INRIA Lorraine

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	191-192
Number of pages	2
Journal	Journal of Automated Reasoning
Volume	41
Issue number	3-4
DOIs	https://doi.org/10.1007/s10817-008-9110-9
State	Published - Nov 2008

Access to Document

10.1007/s10817-008-9110-9

Cite this

@article{8596598e663e4eed93e9ef304671f64f,

title = "Journal of Automated Reasoning: Preface",

author = "Serge Autexier and Heiko Mantel and Stephan Merz and Tobias Nipkow",

year = "2008",

month = nov,

doi = "10.1007/s10817-008-9110-9",

language = "English",

volume = "41",

pages = "191--192",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer Netherlands",

number = "3-4",

}

TY - JOUR

T1 - Journal of Automated Reasoning

T2 - Preface

AU - Autexier, Serge

AU - Mantel, Heiko

AU - Merz, Stephan

AU - Nipkow, Tobias

PY - 2008/11

Y1 - 2008/11

UR - https://www.scopus.com/pages/publications/59249096470

U2 - 10.1007/s10817-008-9110-9

DO - 10.1007/s10817-008-9110-9

M3 - Editorial

AN - SCOPUS:59249096470

SN - 0168-7433

VL - 41

SP - 191

EP - 192

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

IS - 3-4

ER -

Journal of Automated Reasoning: Preface

Access to Document

Other files and links

Cite this