

Interactive Theorem Proving
584,-

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
584,-

Automated Reasoning and Mathematics
476,-

Pattern Recognition
584,-

Pattern Recognition Applications and Methods
476,-

Unconventional Computation and Natural Computation
1 340,-

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
674,-

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

Unconventional Computation and Natural Computation
584,-

Multimodal Brain Image Analysis and Mathematical Foundations of Computational Anatomy
584,-

Interactive Theorem Proving
584,-

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
584,-

Automated Reasoning and Mathematics
476,-

Pattern Recognition
584,-

Pattern Recognition Applications and Methods
476,-

Unconventional Computation and Natural Computation
1 340,-

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
674,-

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

Unconventional Computation and Natural Computation
584,-

Multimodal Brain Image Analysis and Mathematical Foundations of Computational Anatomy
584,-















