MARC

LEADER 00000nam0a2200000 4500
001 299254
005 20231102001202.0
010 |a 3540188347 
035 |a (RuTPU)RU\TPU\book\324406 
035 |a RU\TPU\book\247825 
090 |a 299254 
100 |a 20150626d1981 km y0engy50 ba 
101 0 |a eng 
102 |a DE 
105 |a a z 001zy 
200 1 |a  Boolean calculus of differences  |f A. Thayse 
210 |a Berlin  |c Springer-Verlag  |d 1981 
215 |a 143 p.  |c il. 
225 1 |a Lecture Notes in Computer Science  |v Vol. 101 
320 |a References: p. 130-139 
606 1 |a Булевы функции  |x (математический анализ)  |2 stltpush  |3 (RuTPU)RU\TPU\subj\17048  |9 42895 
610 1 |a компьютерная математика 
610 1 |a булевы исчисления 
610 1 |a логические исчисления 
610 1 |a разности 
610 1 |a булевы алгебры 
610 1 |a теоремы 
610 1 |a алгоритмы 
610 1 |a переключения 
610 1 |a теория 
610 1 |a векторы 
610 1 |a формулы 
610 1 |a функциональные свойства 
610 1 |a английский язык 
675 |a 517.987  |v 3 
700 1 |a Thayse  |b A.  |g Andre 
801 1 |a RU  |b 63413507  |c 20121206 
801 2 |a RU  |b 63413507  |c 20190911  |g RCR 
942 |c BK