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
Gramlich, B., Kirchner, H. & Pfenning, F. Editorial: Strategies in Automated Deduction. Annals of Mathematics and Artificial Intelligence 29, 0 (2000). https://doi.org/10.1023/A:1016668707781
Issue Date:
DOI: https://doi.org/10.1023/A:1016668707781