Automated Reasoning - 9783030510534

Automated Reasoning 10th International Joint Conference IJCAR 202

Automated Reasoning 12th International Joint Conference IJCAR 202

Model and Data Engineering 10th International Conference MEDI 202

Automated Reasoning 11th International Joint Conference IJCAR 202

Web Reasoning and Rule Systems 10th International Conference RR 2

Serious Games 10th Joint International Conference JCSG 2024 New Y