Automated Deduction - CADE-18 : 18th International Conference on

Automated Deduction - Cade-18: 18th International Conference on Automated: New

Automated Deduction-Cade-18 : 18th International Conference on Automated Dedu...

Services Computing SCC 2021: 18th International Conference, Held as Part of the

Andrei Voronkov Automated Deduction - CADE-18 (Paperback) (UK IMPORT)

Parallel Problems Solving from Nature-PPSN XVIII, 18th International Conference

Advances in Soft Computing : 18th Mexican International Conference on Artific...

Interactive Storytelling: 18th International Conference on Interactive Digital S