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

Interactive Storytelling: 18th International Conference on Interactive Digital S

Voronkov - Automated Deduction - CADE-18 18th International Conferen - X555z

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

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

Conceptual Modeling Er'99 : 18th International Conference on Conceptual Model...

Interactive Storytelling: 18th International Conference on Interactive Digital S

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