Automated Reasoning - 9783031107689

Klotins - Software Business 11th International Conference ICSOB 202 - X555z

Kiili - Games and Learning Alliance 11th International Conference G - X555z

Hu - Big Data - BigData 2022 11th International Conference Held as - X555z

Gbel - Serious Games First Joint International Conference JCSG 201 - X555z

Traina - Health Information Science 11th International Conference H - X555z

Volkamer - Electronic Voting 8th International Joint Conference E-V - X555z