000			01728nam a2200289 a 4500
001			vtls000060478
003			KUKTEM
005			20251125093159.0
008			120528t2011 enka f 001 0 eng d
020			_a9780521847513
020			_a0521847516
039		9	_a201209241225 _basmadi _y201205281510 _zsafura
040			_aUMP
090			_aQA341 .C73 2011
100	1		_aCrama, Yves
245	1	0	_aBoolean functions : _btheory, algorithms, and applications / _cYves Crama and Peter L. Hammer
260			_aCambridge, UK : _bCambridge University Press, _c2011
300			_axxi, 687 p. : _bill. ; _c24 cm.
490	1		_aEncyclopedia of mathematics and its applications ; _v142
504			_aIncludes bibliographical references and index
505	0		_aFundamental concepts and applications -- Boolean equations -- Prime implicants and minimal DNFs / Peter L. Hammer and Alexander Kogan -- Duality theory / Yves Crama and Kazuhisa Makino -- Quadratic functions / Bruno Simeone -- Horn functions / Endre Boros -- Orthogonal forms and shellability -- Regular functions -- Threshold functions -- Red-once functions / Martin C. Golumbic and Vladimir Gurvich -- Characterizations of special classes by functional equations / Lisa Hellerstein -- Partially defined Boolean functions / Toshihide Ibaraki -- Pseudo-Boolean functions -- Graphs and hypergraphs -- Algorithmic complexity -- JBool : a software tool / Claude Benzaken and Nadia Brauner
650		0	_aAlgebraic functions
650		0	_aAlgebra, Boolean
700	1		_aHammer, Peter L.
830		0	_aEncyclopedia of mathematics and its applications ; _v142
999			_aVIRTUA40 _c62153 _d62159
999			_aVTLSSORT0080*0200*0201*0400*0900*1000*2450*2600*3000*4900*5040*5050*6500*6501*7000*8300*9992