Preface: Special issue of selected extended papers of CADE-22

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

Original language	English
Pages (from-to)	107-109
Number of pages	2
Journal	Journal of Automated Reasoning
Volume	47
Issue number	2
DOIs	https://doi.org/10.1007/s10817-010-9212-z
Publication status	Published - Aug 2011

Access to Document

@article{bb04ba6bd24d49a39586ded48353d5ff,

title = "Preface: Special issue of selected extended papers of CADE-22",

author = "Schmidt, {Renate A.} and Brigitte Pientka",

year = "2011",

month = aug,

doi = "10.1007/s10817-010-9212-z",

language = "English",

volume = "47",

pages = "107--109",

journal = "Journal of Automated Reasoning",

issn = "1573-0670",

publisher = "Springer Nature",

number = "2",

}