1 Subjects: “...Computer logic...”

2 “..." are central problems and their solutions from the areas of computability, logic, circuit theory...”

3 “... and learning, modeling languages, parallel and distributed computing, simulation, computational logic...”