[IEEE Comput. Soc 16th Annual IEEE Symposium on Logic in Computer Science - Boston, MA, USA (16-19 June 2001)] Proceedings 16th Annual IEEE Symposium on Logic in Computer Science - A continuum of theories of lambda calculus without semantics
- 作者Salibra, A.
- 文件大小853.95KB
- 发表时间2001
- DOI10.1109/lics.2001.932509
- 页码334-343
[IEEE IROS 2002: IEEE/RSJ International Conference on Intelligent Robots and Systems - Lausanne, Switzerland (2002.09.30-2002.10.5)] IEEE/RSJ International Conference on Intelligent Robots and System IROS-02 - 2002 IEEE/RSJ International Conference on Intelligent Robots and Systems2002
[IEEE IROS 2002: IEEE/RSJ International Conference on Intelligent Robots and Systems - Lausanne, Switzerland (2002.09.30-2002.10.5)] IEEE/RSJ International Conference on Intelligent Robots and System IROS-02 - Proceedings 2002 IEEE/RSJ International Conference on Intelligent Robots and Systems2002
[IEEE IROS 2002: IEEE/RSJ International Conference on Intelligent Robots and Systems - Lausanne, Switzerland (2002.09.30-2002.10.5)] IEEE/RSJ International Conference on Intelligent Robots and System IROS-02 - Author Index2002
[IEEE IROS 2002: IEEE/RSJ International Conference on Intelligent Robots and Systems - Lausanne, Switzerland (2002.09.30-2002.10.5)] IEEE/RSJ International Conference on Intelligent Robots and System IROS-02 - Author Index2002
[IEEE IROS 2002: IEEE/RSJ International Conference on Intelligent Robots and Systems - Lausanne, Switzerland (2002.09.30-2002.10.5)] IEEE/RSJ International Conference on Intelligent Robots and System IROS-02 - Author index2002
[IEEE IROS 2002: IEEE/RSJ International Conference on Intelligent Robots and Systems - Lausanne, Switzerland (2002.09.30-2002.10.5)] IEEE/RSJ International Conference on Intelligent Robots and System IROS-02 - Proceedings IEEE/RSJ International Conference on Intelligent Robots and Systems (Cat. No.02CH37332C)2002
[IEEE IROS 2002: IEEE/RSJ International Conference on Intelligent Robots and Systems - Lausanne, Switzerland (30 Sept.-5 Oct. 2002)] IEEE/RSJ International Conference on Intelligent Robots and System - Kinematic inversionRamdane-Cherif, A.; Daachi, B.; Benallegue, A.; Levy, N. · 2002
[IEEE IROS 2002: IEEE/RSJ International Conference on Intelligent Robots and Systems - Lausanne, Switzerland (30 Sept.-5 Oct. 2002)] IEEE/RSJ International Conference on Intelligent Robots and System - Predictive robot programmingDixon, K.R.; Strand, M.; Khosla, P.K. · 2002