000 01254nam a2200325 i 4500
999 _c93580
_d93586
003 MY-KuUP
005 20251125105653.0
006 a||||fs|||| 000 0
007 cr |||||||||||
008 190710s2020 sz a fsb 101 0 eng d
020 _a9783030203238
_qebook
040 _aYDX
_beng
_cUMP
_erda
082 0 4 _a511.3/24
_223
090 _aQA10.3 .I58 2020
111 2 _aInternational Workshop on Boolean Problems
_n(13th :
_d2018 :
_cBremen, Germany)
245 1 0 _aAdvanced Boolean techniques :
_bselected papers from the 13th international workshop on boolean problems / \
_ceditors, Rolf Drechsler and Mathias Soeken
264 1 _aCham :
_bSpringer,
_c2020
264 4 _c© 2020
300 _a1 online resource
336 _atext
_2rdacontent
337 _acomputer
_2rdamedia
338 _aonline resource
_2rdacarrier
504 _aIncludes bibliographical references and index
650 0 _aAlgebra, Boolean
_vCongresses
700 1 _aDrechsler, Rolf,
_eeditor.
700 1 _aSoeken, Mathias,
_eeditor.
856 4 0 _uhttps://link-springer-com.libraryumpsa.idm.oclc.org/book/10.1007/978-3-030-20323-8
_zOff-Campus link
856 4 0 _uhttps://www.springer.com/gp/book/9783030203221
_zClick here to access (Direct Link)
942 _2lcc
_cEBOOK