

Neural-symbolic Learning and Reasoning
1 466,-

Principles and Practice of Constraint Programming
584,-

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

Principles and Practice of Constraint Programming
584,-

Principles and Practice of Constraint Programming
1 592,-

Computer-Human Interaction. Cognitive Effects of Spatial Interaction, Learning, and Ability
476,-

Logic, Language, and Security
674,-

Practical Aspects of Declarative Languages
584,-

Machine Learning and Knowledge Extraction
1 124,-

Automated Reasoning with Analytic Tableaux and Related Methods
584,-

Neural-symbolic Learning and Reasoning
1 466,-

Principles and Practice of Constraint Programming
584,-

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

Principles and Practice of Constraint Programming
584,-

Principles and Practice of Constraint Programming
1 592,-

Computer-Human Interaction. Cognitive Effects of Spatial Interaction, Learning, and Ability
476,-

Logic, Language, and Security
674,-

Practical Aspects of Declarative Languages
584,-

Machine Learning and Knowledge Extraction
1 124,-

Automated Reasoning with Analytic Tableaux and Related Methods
584,-














