Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Pierce, B.C., Weirich, S. Preface. J Autom Reasoning 49, 301–302 (2012). https://doi.org/10.1007/s10817-012-9254-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10817-012-9254-5