Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, Fra

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, Fr

Automated Reasoning 11th International Joint Conference IJCAR 202

Automated Reasoning 10th International Joint Conference IJCAR 202

Languages and Cultures in the Caucasus: Papers from the International Conference

Quantitative Evaluation of Systems 12th International Conference

Logic Programming and Nonmonotonic Reasoning 12th International C