| Název: |
Journal of Automated Reasoning
|
| Zkrácený: |
J AUTOM REASONING |
| Zkrácený: |
J AUTO REAS |
| Zkrácený: |
J. AUTOMAT. REASON |
| Zkrácený: |
J. AUTOM. REASONING |
| ISSN: |
0168-7433 |
| LCCN: |
2004229180 |
| CODEN: |
JAREEW |
|
Recenzováno:
|
Ano
|
| |
| Dostupnost: |
ProQuest Central
|
| |
|
|
|
Dostupný od
1997/02/01
Do (včetně)
2015/12/31
|
|
Dostupný od
2018/01/01
|
|
Poslední
1 roky
nedostupné
|
|
| Dostupné pro: |
NTK, ÚOCHB |
| |
| Dostupnost: |
SpringerLink Journals
|
| |
|
|
|
Dostupný od
1997/02/01
ročník: 18
číslo: 1
|
|
| Dostupné pro: |
NTK, ÚOCHB, VŠCHT |
| |
| Dostupnost: |
Technology Collection
|
| |
|
|
|
Dostupný od
1997/02/01
Do (včetně)
2015/12/31
|
|
Dostupný od
2018/01/01
|
|
Poslední
1 roky
nedostupné
|
|
| Dostupné pro: |
ÚOCHB |
|
