Rights and permissions
About this article
Cite this article
Author Index to Volume 27. Journal of Automated Reasoning 27, 423 (2001). https://doi.org/10.1023/A:1017317122485
Issue Date:
DOI: https://doi.org/10.1023/A:1017317122485
This is a preview of subscription content, log in via an institution to check access.
Price excludes VAT (USA)
Tax calculation will be finalised during checkout.
Instant access to the full article PDF.
Rent this article via DeepDyve
Author Index to Volume 27. Journal of Automated Reasoning 27, 423 (2001). https://doi.org/10.1023/A:1017317122485
Issue Date:
DOI: https://doi.org/10.1023/A:1017317122485
Anyone you share the following link with will be able to read this content:
Sorry, a shareable link is not currently available for this article.
Provided by the Springer Nature SharedIt content-sharing initiative