kghao的个人博客分享 http://blog.sciencenet.cn/u/kghao


  • 西北大学,信息科学与技术学院,教授

    • 信息科学->计算机科学->计算机软件

    扫一扫,分享此博客主页
请先登录


accsys 2017-5-6 15:54
郝老师您好!
身体好吧?我小您9岁。
我设计好了3-SAT子句消去法程序。如果您有兴趣,我会将软件发给您测试。我的邮箱是accsys@126.com
如果可能,请告诉我您的邮箱。
冒昧打扰。
祝您身体康健!
姜咏江
liweibest 2015-6-6 13:54
郝老师,您好!我是李向宁老师的学生,仰慕您很久。我在研究Pi对petri网系统的表达能力,有个问题想向您请教。
liweibest: pi演算中的复制算子!在MWB中如何来表示?
zlyang 2014-9-7 22:21
中秋节快乐!
» 查看全部
统计信息

已有 131302 人来访过

在中服PaaS云平台技术研讨会上的讲话 2017-03-19
十年磨一剑,化蛹终成蝶! 在中服 PaaS 云平台技术研讨会 暨中服战略融资发布会上的讲话 西北大学 郝克刚 2017 年 3 月 17 日 ...
(800)次阅读|(1)个评论
发给喜欢围棋的朋友! 2017-02-14
请各位将此文′的链接地址(在全文的下方),转发给喜欢围棋的朋友共享! 新年伊始,传来惊人消息。去年曾战胜韓国围棋冠军的计算机软件阿法Go,新年前后推出新版 ...
(1091)次阅读|(18)个评论
[转载]推荐两本量子纠缠的书《纠缠态》《量子纠缠》 2016-10-21
推荐两本书: (美)阿米尔·艾克塞尔的《纠缠态:物理世界第一谜》 (英)布莱恩·克莱格的《量子纠缠》。 可在网上查找到电子版。 ...
(1000)次阅读|(2)个评论
小诗一首,同大家共享。 七律 秋游宝鸡大水川 2016-09-26
小诗一首,同大家共享。 七律 秋游宝鸡大水川 郝克刚。 2016/09/24 途经隧道穿重山,车路蜿蜒峪壑边, 峻岭 ...
(1385)次阅读|(1)个评论
郝克刚在唐稚松学术思想研讨会上的发言 2016-03-29
  郝克刚在唐稚松学术思想研讨会上的发言 【注:《唐稚松先生学术思想研讨会》于2015年9月16日(周三)在中国科学院软件研究所举行。它是为纪念中国科 ...
(1549)次阅读|(2)个评论
《郝克刚教授软件工程理论与实践研讨会》在西北大学举行。 2016-03-27
《郝克刚教授软件工程理论与实践研讨会》在西北大学举行。西北大学校长郭立宏先生在会上致辞 【注:《郝克刚教授软件工程理论与实践研讨会》2015年9月10日在 ...
(1579)次阅读|(2)个评论
悼念我们最敬爱的梁慧中老师 2015-03-30
    悼念我们最敬爱的梁慧中老师   郝克刚   今天中学老同学汇聚。从周伯震处得知梁慧中老师已于去年(2014)逝 ...
(2003)次阅读|(4)个评论
寻找珍贵的早期文章:《二十年后之中国》 2015-01-04
  寻找珍贵的早期文章:《二十年后之中国》 中国 - 西北大学 郝克刚 hkg@nwu.edu.cn 2015.01.04. 最新消息。 据美国朋 ...
(2787)次阅读|(5)个评论

查看更多

Archiver|科学网 ( 京ICP备14006957 )

GMT+8, 2017-5-23 11:06

Powered by ScienceNet.cn

Copyright © 2007-2017 中国科学报社