J.AUTOMAT.REASON. [ISSN : 0168-7433]

Journal of Automated Reasoning. D.Reidel Publishing Company, Dordrecht. Springer.

Depuis le volume 1 (1985).

2 vols/4 issues each/yr.

Dernier fascicule reçu: 59 - 4 (2017) le 21-11-2017.