TY  - SER
TI  - Journal of automated reasoning
SN  - 0168-7433
AV  - QA76.9.A96 
U1  - 007.52 
PY  - 1985///-
CY  - Dordrecht
PB  - D. Reidel
KW  - Teoremas, Comprobación automática de
KW  - Inteligencia artificial
N1  - Título de la cubierta; Inicia en 1985 con el vol. 1, no. 1; También disponible vía World Wide Web
ER  -