Search results for: Claudio Castellini
Wiley Interdisciplinary Reviews: Cognitive Science > 10 > 2 > n/a - n/a
Wiley Interdisciplinary Reviews: Cognitive Science > 10 > 2 > n/a - n/a
IEEE Transactions on Neural Systems and Rehabilitation Engineering > 2017 > 25 > 7 > 967 - 975
IEEE Transactions on Neural Systems and Rehabilitation Engineering > 2017 > 25 > 3 > 227 - 234
Lecture Notes in Computer Science > Mechanizing Mathematical Reasoning > Logic and Deduction > 46-58
Physics of Life Reviews > 2016 > 17 > C > 1-23
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 102-114
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables > 16-29