Skip to main content

Log in

Find a journal Publish with us Track your research

Home
Journal of Automated Reasoning
Journal updates

Journal of Automated Reasoning

Publishing model:: Hybrid

Submit your manuscript

Back to overview
Editorial board
Aims and scope
Journal updates

Journal updates

Topical Collections - Guidelines for Proposals

For authors

Submission guidelines
Language editing services
Ethics and disclosures
How to publish with us
Open Access fees and funding
Contact the journal

Language quality checker

Get your manuscript edited for free

Use our pre-submission checklist
Avoid common mistakes on your manuscript.
This journal's calls for papers
Collections this journal is participating in.
Sign up for alerts
Get notified when new articles are published.

Explore

Articles
Volumes and issues
Collections

Search

Search by keyword or author

Navigation

Find a journal
Publish with us
Track your research

Discover content

Journals A-Z
Books A-Z

Publish with us

Journal finder
Publish your research
Open access publishing

Products and services

Our products
Librarians
Societies
Partners and advertisers

Our imprints

Springer
Nature Portfolio
BMC
Palgrave Macmillan
Apress

Your US state privacy rights
Accessibility statement
Terms and conditions
Privacy policy
Help and support
Cancel contracts here

3.237.15.145

Not affiliated

© 2024 Springer Nature