JOURNAL OF AUTOMATED REASONING
Vols. 1-61. Dordrecht, 1985-2018. Mostly reprint.
Set price $ 13,000
- Per volume $ 255
ISSN 0168-7433
- JOURNAL OF AUTOMATED REASONING focuses on different theories and applications in the field of automated reasoning, the objectives being the design and implementation of a computer program to assist in solving problems and answering questions that require reasoning.
PSC Reprint and Publisher's Backstock. Available from:
Periodicals Service Company
351 Fairview Avenue, Suite 300
Hudson, NY 12534, U.S.A.
Tel. + 1 518 822 9300
Fax. + 1 518 822 9305
Published by Springer
We have an agreement to reprint all out of print volumes and issues for Springer journals.