Název	Journal of automated reasoning
Klíč. název	Journal of automated reasoning
Klíč. název	Journal of automated reasoning (Dordrecht. Online)
Vydavatel	Dordrecht : Reidel, 1985-
ISSN	0168-7433 print
ISSN	1573-0670 online
Obor	fyzika fy - PSH
Obor	výpočetní technika vt - PSH
Odběr	ABA013 [i]: 1988-2010 / sign. P 11094
Online	ABA007 [i]: 1997-2014
Online	ABA009 [i]: 1997-2013
Online	ABA013 [i]: 1997-2020

SFX: JIB NTK SKC EZB NTK MARC