Rights and permissions
About this article
Cite this article
Author Index to Volume 22. Journal of Automated Reasoning 22, 485–486 (1999). https://doi.org/10.1023/A:1017148420906
Issue Date:
DOI: https://doi.org/10.1023/A:1017148420906
27 Accesses
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 22. Journal of Automated Reasoning 22, 485–486 (1999). https://doi.org/10.1023/A:1017148420906
Issue Date:
DOI: https://doi.org/10.1023/A:1017148420906
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