1998 | ||
---|---|---|
2 | EE | Richard P. Brent, L. Grosz, David L. Harrar II, Markus Hegland, M. Kahn, G. Keating, G. Mercer, Ole Møller Nielsen, Michael R. Osborne, Bing Bing Zhou, M. Nakanishi: Development of a Mathematical Subroutine Library for Fujitsu Vector Parallel Processors. International Conference on Supercomputing 1998: 13-20 |
1975 | ||
1 | T. Nishimura, M. Nakanishi, M. Nogeta, Y. Iwamaru: Gentzen-Type Formel System Representing Properties of Function and its Implementation. IJCAI 1975: 57-64 |
1 | Richard P. Brent | [2] |
2 | L. Grosz | [2] |
3 | David L. Harrar II | [2] |
4 | Markus Hegland | [2] |
5 | Y. Iwamaru | [1] |
6 | M. Kahn | [2] |
7 | G. Keating | [2] |
8 | G. Mercer | [2] |
9 | Ole Møller Nielsen | [2] |
10 | T. Nishimura | [1] |
11 | M. Nogeta | [1] |
12 | Michael R. Osborne | [2] |
13 | Bing Bing Zhou | [2] |