Séminaire de complexité algorithmique et de logique (1986 / 1988 ; Paris) — 1 œuvres