
Neural-symbolic Learning and Reasoning
1 466,-

Automated Reasoning with Analytic Tableaux and Related Methods
584,-

Machine Learning for Dynamic Software Analysis: Potentials and Limits
611,-

Coordination Models and Languages
1 340,-

Leveraging Applications of Formal Methods, Verification and Validation
584,-

Automated Reasoning
791,-

Automated Deduction – CADE 29
431,-

Automated Reasoning
854,-

Computational Methods and Clinical Applications for Spine Imaging
584,-

Computer Analysis of Images and Patterns
584,-

Neural-symbolic Learning and Reasoning
1 466,-

Automated Reasoning with Analytic Tableaux and Related Methods
584,-

Machine Learning for Dynamic Software Analysis: Potentials and Limits
611,-

Coordination Models and Languages
1 340,-

Leveraging Applications of Formal Methods, Verification and Validation
584,-

Automated Reasoning
791,-

Automated Deduction – CADE 29
431,-

Automated Reasoning
854,-

Computational Methods and Clinical Applications for Spine Imaging
584,-

Computer Analysis of Images and Patterns
584,-