Author information
Authors and Affiliations
Corresponding author
Additional information
September 2006.
Rights and permissions
About this article
Cite this article
Beckert, B., Paulson, L.C. Preface. J Autom Reasoning 38, 1–2 (2007). https://doi.org/10.1007/s10817-006-9058-6
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10817-006-9058-6