
Language and Automata Theory and Applications
584,-

Language and Automata Theory and Applications
584,-

Logic and Its Applications
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,-

Integrated Uncertainty in Knowledge Modelling and Decision Making
584,-

Semantics, Logics, and Calculi
584,-

Next Generation Arithmetic
611,-

Fundamentals of Computation Theory
971,-

Language and Automata Theory and Applications
584,-

Language and Automata Theory and Applications
584,-

Logic and Its Applications
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,-

Integrated Uncertainty in Knowledge Modelling and Decision Making
584,-

Semantics, Logics, and Calculi
584,-

Next Generation Arithmetic
611,-

Fundamentals of Computation Theory
971,-