News
30 May, 2017
The future of Russian operating platforms has been discussed at the conference hosted by RAS
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.