TY  - SER
TI  -  Journal of automated reasoning
SN  -  0168-743
U1  -  511.3 
PY  - 1985///-
CY  -  Dordrecht, Netherlands : 
PB  -  Kluwer Academic publishers, 
KW  -  Automatic theorem proving
KW  -  Periodicals
KW  -  Artificial intelligence
N1  -  Latest issue consulted: Vol. 11, no. 3 (1994)
ER  -