Journal of automated reasoning 

 - Dordrecht, Netherlands :    Kluwer Academic publishers,    1985- 
 - v:    ill.;    24cm. 
 - Eight no a year,    2000- 
 - Quarterly,    1985-1991 Bimonthly,    1992-<1999> 
 - Vol.1, no. 1 (1985)- 
<br/><br/>  Latest issue consulted: Vol. 11, no. 3 (1994) 
<br/><br/><label>ISSN: </label>0168-7433 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Automatic theorem proving -- Periodicals.<br/> Artificial intelligence -- Periodicals.
<br/><br/><label>Dewey Class. No.: </label>511.3