M. Nakanishi

Publication Activity (10 Years)

Years Active: 1975-2010
Publications (10 Years): 0

Publications

Masayuki Kimishima, S. Mizuno, T. Seki, H. Takeuti, Haruki Nagami, Hideki Shirasu, Y. Haraguti, J. Okayasu, M. Nakanishi
A high density small size RF test module for high throughput multiple resource testing. ITC (2010)
Richard P. Brent, L. Grosz, David L. Harrar II, Markus Hegland, Margaret 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)
T. Nishimura, M. Nakanishi, M. Nogeta, Y. Iwamaru
Gentzen-Type Formel System Representing Properties of Function and its Implementation. IJCAI (1975)