

Logic and Argumentation
674,-

Logic and Argumentation
971,-

Logic and Argumentation
584,-

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

Diagrammatic Representation and Inference
611,-

Diagrammatic Representation and Inference
674,-

Logic, Language, and Computation
584,-

Interactive Theorem Proving
584,-

Relational and Algebraic Methods in Computer Science
611,-

Automated Reasoning and Mathematics
476,-

Logic and Argumentation
674,-

Logic and Argumentation
971,-

Logic and Argumentation
584,-

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

Diagrammatic Representation and Inference
611,-

Diagrammatic Representation and Inference
674,-

Logic, Language, and Computation
584,-

Interactive Theorem Proving
584,-

Relational and Algebraic Methods in Computer Science
611,-

Automated Reasoning and Mathematics
476,-













