Automated Reasoning - 9783319942049

Galmiche - Automated Reasoning 9th International Joint Conference I - X555z

- Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as P

Exploring Service Science 9th International Conference IESS 2018

Rules and Reasoning 8th International Joint Conference RuleML+RR

Interactive Storytelling : 9th International Conference on Interactive Story...

Proceedings of the 9th International Conference on Computational

Numerical Methods and Applications 9th International Conference N