TY  - BOOK
AU  - Drechsler,Rolf
AU  - Soeken,Mathias
ED  - International Workshop on Boolean Problems
TI  - Advanced Boolean techniques: selected papers from the 13th international workshop on boolean problems / \
SN  - 9783030203238
U1  - 511.3/24 23
PY  - 2020///
CY  - Cham
PB  - Springer
KW  - Algebra, Boolean
KW  - Congresses
N1  - Includes bibliographical references and index
UR  - https://link-springer-com.libraryumpsa.idm.oclc.org/book/10.1007/978-3-030-20323-8
UR  - https://www.springer.com/gp/book/9783030203221
ER  -