
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
584,-

Formal Methods Teaching
611,-

Advances in Brain Inspired Cognitive Systems
674,-

Advances in Brain Inspired Cognitive Systems
674,-

Practical Aspects of Declarative Languages
584,-

Formal Methods Teaching
404,-

Logic Programming and Nonmonotonic Reasoning
791,-

Natural Language Processing and Information Systems
584,-

Evolutionary and Biologically Inspired Music, Sound, Art and Design
584,-

Knowledge Science, Engineering and Management
1 340,-

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
584,-

Formal Methods Teaching
611,-

Advances in Brain Inspired Cognitive Systems
674,-

Advances in Brain Inspired Cognitive Systems
674,-

Practical Aspects of Declarative Languages
584,-

Formal Methods Teaching
404,-

Logic Programming and Nonmonotonic Reasoning
791,-

Natural Language Processing and Information Systems
584,-

Evolutionary and Biologically Inspired Music, Sound, Art and Design
584,-

Knowledge Science, Engineering and Management
1 340,-