高级搜索

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

对BAN逻辑中新鲜子的研究

宋荣功 胡正名 杨义先

宋荣功, 胡正名, 杨义先. 对BAN逻辑中新鲜子的研究[J]. 电子与信息学报, 2000, 22(3): 505-508.
引用本文: 宋荣功, 胡正名, 杨义先. 对BAN逻辑中新鲜子的研究[J]. 电子与信息学报, 2000, 22(3): 505-508.
Song Ronggong, Hu Zhengming, Yang Yixian. THE INVESTIGATION OF THE FRESHNESS IN BAN LOGIC[J]. Journal of Electronics and Information Technology, 2000, 22(3): 505-508.
Citation: Song Ronggong, Hu Zhengming, Yang Yixian. THE INVESTIGATION OF THE FRESHNESS IN BAN LOGIC[J]. Journal of Electronics and Information Technology, 2000, 22(3): 505-508.

对BAN逻辑中新鲜子的研究

THE INVESTIGATION OF THE FRESHNESS IN BAN LOGIC

  • 计量
    • 文章访问数:  1699
    • HTML全文浏览量:  51
    • PDF下载量:  340
    • 被引次数: 0
    出版历程
    • 收稿日期:  1998-09-17
    • 修回日期:  1998-12-16
    • 刊出日期:  2000-05-19

    目录

      /

      返回文章
      返回

      官方微信,欢迎关注