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
2018/01/01
|
Dostupný od
1997/02/01
Do (včetně)
2015/12/31
|
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
2018/01/01
|
Dostupný od
1997/02/01
Do (včetně)
2015/12/31
|
Poslední
1 roky
nedostupné
|
|
Dostupné pro: |
ÚOCHB |
|