Journal of automated reasoning

Notice

p-issn : 0168-7433 p-ppn : 03911791X 1985 - Vivant Imprimé
e-issn : 1573-0670 e-ppn : 111374073 1985 - Vivant Électronique
Abrégé : J. autom. reason.
Langue : Anglais
Périodicité : Trimestriel
Éditeur commercial : Dordrecht ; Boston : Reidel - Netherlands
Dernière mise à jour : 03 Avr 2019

Périodes d'accès électroniques

1985 - Vivant Springer

États de collections dans les bibliothèques

Historique