[2d] Journals (Automated Reasoning)

JOURNAL OF AUTOMATED REASONING
Published 6 times annually. ISSN 0168-7433
Subscriptions: Individuals $131; Institutions $263; AAR members $65.
Kluwer Academic Publishers, PO Box 322, 3300 AH Dordrecht, The
Netherlands, or Kluwer Academic Publishers, PO Box 358, Accord
Station, Hingham, MA 02018-0358. 

AUTOMATED SOFTWARE ENGINEERING
The International Journal of Automated Reasoning and Artificial
Intelligence in Software Engineering.
Published quarterly. ISSN 0928-8910.
Kluwer Academic Publishers, PO Box 322, 3300 AH Dordrecht, The
Netherlands, or Kluwer Academic Publishers, PO Box 358, Accord
Station, Hingham, MA 02018-0358, phone 617-871-6600, fax 617-871-6528,
email kluwer@world.std.com. 
Subscriptions: individuals $95, institutions $255.50. Special reduced
rates available for ACM-SIGART and KBSE members.

ANNUAL REVIEW IN AUTOMATIC PROGRAMMING
Published annually, since 1960.
Supplement of "International tracts in computer science and technology
and their applications". 
Published by Pergamon Press, 395 Saw Mill River Road, Elmsford, NY
10523, phone 800-257-5755 (914-592-7700).
Subscriptions: UK pounds 105 or US $200 (approximate). Postage included.