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

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

MobiCom'12 Proceedings of the 18th Annual International Conference on Mobile Com

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