[IEEE Comput. Soc Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000) - Santa Barbara, CA, USA (26-28 June 2000)] Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) - A modality for recursion
- 作者Nakano, H.
- 文件大小329.71KB
- 发表时间2000
- DOI10.1109/lics.2000.855774
- 页码255-266
[IEEE Proceedings of 1994 IEEE Nuclear Science Symposium - NSS'94 - Norfolk, VA, USA (1994.10.30-1994.11.5)] Proceedings of 1994 IEEE Nuclear Science Symposium - NSS'94 - Proceedings of 1994 IEEE Nuclear Science Symposium - NSS'941994
[IEEE 1994 IEEE Nuclear Science Symposium - NSS'94 - Norfolk, VA, USA (30 Oct.-5 Nov. 1994)] Proceedings of 1994 IEEE Nuclear Science Symposium - NSS'94 - Emission detectorsBolozdynya, A.; Egorov, V.; Rodionov, B.; Miroshnichenko, V. · 1995
[IEEE 1994 IEEE Nuclear Science Symposium - NSS'94 - Norfolk, VA, USA (30 Oct.-5 Nov. 1994)] Proceedings of 1994 IEEE Nuclear Science Symposium - NSS'94 - A novel avalanche photodiode arrayKindt, W.J. · 1995
[IEEE 1994 IEEE Nuclear Science Symposium - NSS'94 - Norfolk, VA, USA (30 Oct.-5 Nov. 1994)] Proceedings of 1994 IEEE Nuclear Science Symposium - NSS'94 - Coronary angiogram video compressionMin-Jen Tsai, ; Villasenor, J.D.; Ho, B.K.T. · 1995
[IEEE 1994 IEEE Nuclear Science Symposium - NSS'94 - Norfolk, VA, USA (30 Oct.-5 Nov. 1994)] Proceedings of 1994 IEEE Nuclear Science Symposium - NSS'94 - Position sensitive ΔE detectorBengis, D.V.H.; Sealock, R.M. · 1995
[IEEE 1994 IEEE Nuclear Science Symposium - NSS'94 - Norfolk, VA, USA (30 Oct.-5 Nov. 1994)] Proceedings of 1994 IEEE Nuclear Science Symposium - NSS'94 - Hybrid power supplies for particle acceleratorsSmedley, K.M. · 1995
[IEEE 1994 IEEE Nuclear Science Symposium - NSS'94 - Norfolk, VA, USA (30 Oct.-5 Nov. 1994)] Proceedings of 1994 IEEE Nuclear Science Symposium - NSS'94 - Innovative testing of motor operated valvesLewis, J. · 1995
[IEEE 1994 IEEE Nuclear Science Symposium - NSS'94 - Norfolk, VA, USA (30 Oct.-5 Nov. 1994)] Proceedings of 1994 IEEE Nuclear Science Symposium - NSS'94 - D0 upgrade muon electronics designBaldin, B.; Green, D.; Haggerty, H.; Hansen, S. · 1995