000 00458nam a2200157Ia 4500
008 161214s9999 xx 000 0 und d
020 _a3540403434
_c(hbk)
082 _223
_a621.3815372
_bVIN
100 _aVingron, Shimon P.
245 0 _aSwitching theory insight through predicated logic
260 _aNew York:
_bSpringer-Verlag,
_c2004
300 _a428 p.;
_bindex:
_c24 cm.
650 _aPredicate (Logic)
650 _aSwitching theory
942 _2ddc
_cBK
999 _c6093
_d6093