| Titre Périodique | ISSN | Etat de Collection | Lacunes |
|---|---|---|---|
| Journal of automated reasoning | 0168-7433 |
Vol. 5
(1989)
-
Vol. 37
(2006)
|
|
| Journal of computer and system sciences | 0022-0000 |
Vol. 40
(1990)
-
Vol. 107
(2020)
|
|
| Journal of functional programming | 0956-7968 |
Vol. 3
(1993)
-
Vol. 24
(2014)
|
|
| Journal of the Association for Computing Machinery | 0004-5411 |
Vol. 1
(1954)
-
Vol. 68
n° 6
(2021)
|
|
| Journal of the chinese mathematical society | - |
Vol. 1
(1936)
-
Vol. 2
n° 1
(1937)
|
Vol. 2
n° 2
(1937-40)
|