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
Netherlands
Périodicité : Trimestriel
Éditeurs commerciaux :

Dordrecht ; Boston : Reidel

Dernière mise à jour : 04 Mar 2024

Périodes d'accès électroniques

Existant
1985 - Vivant Springer
1985 - 2013 ISTEX Springer
Accès
Open access:



États de collections dans les bibliothèques

Historique