| Title: |
Journal of Automated Reasoning
|
| Abbrev: |
J AUTOM REASONING |
| Abbrev: |
J AUTO REAS |
| Abbrev: |
J. AUTOMAT. REASON |
| Abbrev: |
J. AUTOM. REASONING |
| ISSN: |
0168-7433 |
| LCCN: |
2004229180 |
| CODEN: |
JAREEW |
|
Peer-Reviewed:
|
Yes
|
| |
| Availability: |
ProQuest Central
|
| |
|
|
|
Available from
1997/02/01
until (and including)
2015/12/31
|
|
Available from
2018/01/01
|
|
Most recent
1 year(s)
not available
|
|
| Authentication: |
NTK, ÚOCHB |
| |
| Availability: |
SpringerLink Journals
|
| |
|
|
|
Available from
1997/02/01
volume: 18
issue: 1
|
|
| Authentication: |
NTK, ÚOCHB, VŠCHT |
| |
| Availability: |
Technology Collection
|
| |
|
|
|
Available from
1997/02/01
until (and including)
2015/12/31
|
|
Available from
2018/01/01
|
|
Most recent
1 year(s)
not available
|
|
| Authentication: |
ÚOCHB |
|
