TY  - BOOK
AU  - Thayse, A.
TI  -  Boolean calculus of differences
T2  - Lecture Notes in Computer Science
VL  - Vol. 101
SN  - 3540188347
PY  - 1981///
CY  - Berlin
PB  - Springer-Verlag
KW  - ÐÑÐ»ÐµÐ²Ñ ÑÑÐ½ÐºÑÐ¸Ð¸
KW  - (Ð¼Ð°ÑÐµÐ¼Ð°ÑÐ¸ÑÐµÑÐºÐ¸Ð¹ Ð°Ð½Ð°Ð»Ð¸Ð·)
KW  - stltpush
KW  - (RuTPU)RU\TPU\subj\17048
KW  - ÐºÐ¾Ð¼Ð¿ÑÑÑÐµÑÐ½Ð°Ñ Ð¼Ð°ÑÐµÐ¼Ð°ÑÐ¸ÐºÐ°
KW  - Ð±ÑÐ»ÐµÐ²Ñ Ð¸ÑÑÐ¸ÑÐ»ÐµÐ½Ð¸Ñ
KW  - Ð»Ð¾Ð³Ð¸ÑÐµÑÐºÐ¸Ðµ Ð¸ÑÑÐ¸ÑÐ»ÐµÐ½Ð¸Ñ
KW  - ÑÐ°Ð·Ð½Ð¾ÑÑÐ¸
KW  - Ð±ÑÐ»ÐµÐ²Ñ Ð°Ð»Ð³ÐµÐ±ÑÑ
KW  - ÑÐµÐ¾ÑÐµÐ¼Ñ
KW  - Ð°Ð»Ð³Ð¾ÑÐ¸ÑÐ¼Ñ
KW  - Ð¿ÐµÑÐµÐºÐ»ÑÑÐµÐ½Ð¸Ñ
KW  - ÑÐµÐ¾ÑÐ¸Ñ
KW  - Ð²ÐµÐºÑÐ¾ÑÑ
KW  - ÑÐ¾ÑÐ¼ÑÐ»Ñ
KW  - ÑÑÐ½ÐºÑÐ¸Ð¾Ð½Ð°Ð»ÑÐ½ÑÐµ ÑÐ²Ð¾Ð¹ÑÑÐ²Ð°
KW  - Ð°Ð½Ð³Ð»Ð¸Ð¹ÑÐºÐ¸Ð¹ ÑÐ·ÑÐº
KW  - 517.987
KW  - 3
N2  - References: p. 130-139
ER  -