
Logic and Its Applications
476,-

Logic and Its Applications
476,-

Relational and Algebraic Methods in Computer Science
584,-

Mathematical Optimization Theory and Operations Research
584,-

Descriptional Complexity of Formal Systems
584,-

Integration of AI and OR Techniques in Constraint Programming
584,-

Unconventional Computation and Natural Computation
611,-

Automated Deduction in Geometry
431,-

Bayesian and grAphical Models for Biomedical Imaging
431,-

Logic, Language, Information, and Computation
584,-

Logic and Its Applications
476,-

Logic and Its Applications
476,-

Relational and Algebraic Methods in Computer Science
584,-

Mathematical Optimization Theory and Operations Research
584,-

Descriptional Complexity of Formal Systems
584,-

Integration of AI and OR Techniques in Constraint Programming
584,-

Unconventional Computation and Natural Computation
611,-

Automated Deduction in Geometry
431,-

Bayesian and grAphical Models for Biomedical Imaging
431,-

Logic, Language, Information, and Computation
584,-