Journal of automated reasoning 

 - Ocho números al año 
<br/><br/> Título de la cubierta  Inicia en 1985 con el vol. 1, no. 1 
<br/><br/>
<br/><br/><label>ISSN: </label>0168-7433 
 = Journal of automated reasoning 
 = J. autom. reason. 
<br/><br/><label>CODEN: </label>JAREEW 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Teoremas, Comprobación automática de<br/>Inteligencia artificial.
<br/><br/><label>LC Class. No.: </label>QA76.9.A96 
<br/><br/><label>Dewey Class. No.: </label>007.52