Graph Transformation - 9783030789459

McCune - Automated Deduction - CADE-14 14th International Conference - X555z

DocEng 14 Conference - DocEng14 14th ACM SIGWEB International Symposiu - X555z

Bertet - Formal Concept Analysis 14th International Conference ICFC - X555z

Bickmore - Intelligent Virtual Agents 14th International Conference - X555z

Kirchner - Information Hiding 14th International Conference IH 2012 - X555z

Nkambou - Intelligent Tutoring Systems 14th International Conference - X555z

Plaat - Advances in Computer Games 14th International Conference AC - X555z