Bibliography of Lavrov I.A.
News
30 December, 2018
Hironori Kasahara congratulated ISP RAS and IEEE Computer Society Russia with the 70th anniversary of IT
09 August, 2018
Color Platform second Global Meetup in Moscow on 21.08.2018
B
Badaev S.Bailey C.G.
Baker T.P.
Baleva V.
Baratella S.
Barback J.
Barendregt H.
Barmpalias G.
Barwise J.
Basu S.
Baterman P.T.
Baurle F.A.
Batyrshin I.I.
Becker H.
Behman H.
Beigel R.J.
Belyaev V. N.
Bennison V.L.
Bentzien L.
Bereznyuk S.
Bergstra J. A.
BermanL
BermanP
Bernardi C.
Bernays P.
Berry J.
Bianchini C.
Bickford M.
Binns S.
Blacino L.
Blair H. A.
Blaylock R.
Blum M.
Bojkova E.
BookR
Boolos G.
Boon W.W.
Börger E.
Borodin A.
Boyd R.
Brandt U.
Breidbart S.
BrownAB
BrownDK
Buchberger B.
Büchi J.R.
Bulitko V.K.
Burkard E.
Burris S.
Buss S.
Byerly R. E.