
















Declarative Programming and Knowledge Management
476,-

Algorithmic Learning Theory
584,-

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

Tools and Algorithms for the Construction and Analysis of Systems
431,-

Tools and Algorithms for the Construction and Analysis of Systems
431,-

Structural Information and Communication Complexity
584,-

Rigorous Methods for Software Construction and Analysis
584,-

Logic, Language, Information, and Computation
584,-

Logic, Language, Information, and Computation
431,-

Logic, Language, Information, and Computation
584,-

Declarative Programming and Knowledge Management
476,-

Algorithmic Learning Theory
584,-

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

Tools and Algorithms for the Construction and Analysis of Systems
431,-

Tools and Algorithms for the Construction and Analysis of Systems
431,-

Structural Information and Communication Complexity
584,-

Rigorous Methods for Software Construction and Analysis
584,-

Logic, Language, Information, and Computation
584,-

Logic, Language, Information, and Computation
431,-

Logic, Language, Information, and Computation
584,-