Journal of Automated Reasoning
| ISSN: | 1573-0670 (E-ISSN) 0168-7433 (P-ISSN) |
|---|---|
| Publisher: | Springer |
| Entitled Authors: | Corresponding author |
| Subject: | Computer Science |
| Business Model: | hybrid OA |
| License: | CC BY |
| Homepage: | https://springer.com/10817 |
| Info Links: | MPDL Information
Provider Information |