| Titre Périodique | ISSN | Etat de Collection | Lacunes |
|---|---|---|---|
| Journal of automated reasoning | 0168-7433 |
Vol. 1
n° 1
(1985)
-
Vol. 23
n° 4
(1999)
|
|
| Journal européen des systèmes automatisés | 1269-6935 |
Vol. 30
n° 1
(1996)
-
Vol. 36
n° 10
(2002)
|
|
| Journal of fluid mechanics | 0022-1120 |
Vol. 450
(2002)
-
Vol. 713
(2012)
|
|