Normal view
MARC view
Drechsler, Rolf . (Personal Name)
Machine generated authority record.
Work cat.: (OSt)60560: Drechsler, Rolf ., Advanced Boolean Techniques Selected Papers from the 13th International Workshop on Boolean Problems, 2020