

Algorithmic Learning Theory
584,-

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
584,-

Deductive Software Verification
584,-

Foundations of Information and Knowledge Systems
584,-

Declarative Programming and Knowledge Management
584,-

Structural Information and Communication Complexity
584,-

Rigorous Methods for Software Construction and Analysis
584,-

Theory and Applications of Satisfiability Testing -- SAT 2015
674,-

Advances in Computational Intelligence
854,-

Advances in Computational Intelligence
584,-

Algorithmic Learning Theory
584,-

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
584,-

Deductive Software Verification
584,-

Foundations of Information and Knowledge Systems
584,-

Declarative Programming and Knowledge Management
584,-

Structural Information and Communication Complexity
584,-

Rigorous Methods for Software Construction and Analysis
584,-

Theory and Applications of Satisfiability Testing -- SAT 2015
674,-

Advances in Computational Intelligence
854,-

Advances in Computational Intelligence
584,-














