Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Felty, A.P. Preface. Journal of Automated Reasoning 31, 189–190 (2003). https://doi.org/10.1023/B:JARS.0000021173.25739.c5
Issue Date:
DOI: https://doi.org/10.1023/B:JARS.0000021173.25739.c5