Journal of Automated Reasoning: Preface

Alessandro Armando, Peter Baumgartner^*, Gilles Dowek

^*Corresponding author for this work

Research output: Contribution to journal › Editorial › peer-review

Original language	English
Pages (from-to)	89
Number of pages	1
Journal	Journal of Automated Reasoning
Volume	45
Issue number	2
DOIs	https://doi.org/10.1007/s10817-010-9180-3
Publication status	Published - Aug 2010

Access to Document

@article{5919576ce67e4cef8296a07c0ae36bd9,

title = "Journal of Automated Reasoning: Preface",

author = "Alessandro Armando and Peter Baumgartner and Gilles Dowek",

year = "2010",

month = aug,

doi = "10.1007/s10817-010-9180-3",

language = "English",

volume = "45",

pages = "89",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer Netherlands",

number = "2",

}

TY - JOUR

T1 - Journal of Automated Reasoning

T2 - Preface

AU - Armando, Alessandro

AU - Baumgartner, Peter

AU - Dowek, Gilles

PY - 2010/8

Y1 - 2010/8

UR - http://www.scopus.com/inward/record.url?scp=77955708603&partnerID=8YFLogxK

U2 - 10.1007/s10817-010-9180-3

DO - 10.1007/s10817-010-9180-3

M3 - Editorial

SN - 0168-7433

VL - 45

SP - 89

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

IS - 2

ER -