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


États de collections dans les bibliothèques

Bibliothèques Collections Lacunes État
Bordeaux - Bib. recherche Maths-Info (BMI)
Non positionné 		Vol. 1 (1985) - Vol. 59 n° 4 (2017)

État Physique : Bon
Metrage : 1,37m linéaire
Reliure : Oui
Mise à jour : 20/03/2019
Paris - Bib. Math. ENS
Non positionné 		Vol. 5 (1989) - Vol. 37 (2006)

État Physique : Bon
Metrage : 0,79m linéaire
Reliure : Oui
Mise à jour : 18/03/2019
Paris - MIR Jussieu
Non positionné 		Vol. 1 n° 1 (1985) - Vol. 47 n° 4 (2011)

État Physique : Excellent
Metrage : 1,16m linéaire
Cote : J 201
Reliure : Partielle
Mise à jour : 26/09/2019
Rennes - Bibliothèque de l'IRMAR
Non positionné 		Vol. 1 n° 1 (1985) - Vol. 23 n° 4 (1999)

Mise à jour : 09/07/2020
Toulouse - BU Sciences
Non positionné 		Vol. 14 n° 1 (1995) - Vol. 27 n° 4 (2001)
Vol. 18,19,20,21 (1997-1998)
État Physique : Bon
Metrage : 0,30m linéaire
Cote : CP 4254
Reliure : Non
Mise à jour : 09/05/2025

Historique