Rules and Reasoning: 7th International Joint Conference, RuleML+RR 2023, Oslo, N

Rules and Reasoning - 9783031450716

Agero - Mobile Networks and Management 7th International Conference - X555z

Krimmer - Electronic Voting 7th International Joint Conference E-Vo - X555z

Rules and Reasoning: 6th International Joint Conference on Rules and Reasoning,

Automated Reasoning 7th International Joint Conference IJCAR 2014

Rules and Reasoning Second International Joint Conference RuleML+

Blanchette - Automated Reasoning 11th International Joint Conference - X555z