Journal of automated reasoning.
Saved in:
| Publication history: | Print began with vol. 1, no. 1, published in 1985. |
|---|---|
| Language: | English |
| Notes: | Refereed/Peer-reviewed |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Other title: | Journal of automated reasoning (Online) |
|---|---|
| Publication Frequency: | Eight issues yearly, 2009- |
| Publication frequency / Note on numbering: | Some issues combined. |
| ISSN: | 1573-0670 0168-7433 |
| Hierarchical level: | Serial |