C++博客-lingol-最新评论http://www.cppblog.com/lingol/CommentsRSS.aspxzh-cnFri, 30 Jul 2010 08:04:15 GMTFri, 30 Jul 2010 08:04:15 GMTcnblogsre: 一阶谓词逻辑归结推理系统（1）http://www.cppblog.com/lingol/archive/2010/03/25/85961.html#110559区立斌区立斌Thu, 25 Mar 2010 15:37:00 GMThttp://www.cppblog.com/lingol/archive/2010/03/25/85961.html#110559

区立斌 2010-03-25 23:37 发表评论
]]>re: 一阶谓词逻辑归结推理系统（2）--Skolem化步骤http://www.cppblog.com/lingol/archive/2009/09/25/92252.html#97226飞机飞机Fri, 25 Sep 2009 07:04:00 GMThttp://www.cppblog.com/lingol/archive/2009/09/25/92252.html#97226

飞机 2009-09-25 15:04 发表评论
]]>re: 资源重用、右值引用杂感http://www.cppblog.com/lingol/archive/2009/07/14/89909.html#89989lingollingolMon, 13 Jul 2009 19:43:00 GMThttp://www.cppblog.com/lingol/archive/2009/07/14/89909.html#89989"两个15寸屏幕那么大面积的正则"，说明不了问题，可能状态数还没过200。
而我那个测试样例则保证即使在化简后，至少有2^11=2048个状态。你能够秒掉？另外，注意我不仅仅要求判断两个正则表达式是否等价，还要给出能够区分它们的一个输入串。

lingol 2009-07-14 03:43 发表评论
]]>re: 资源重用、右值引用杂感http://www.cppblog.com/lingol/archive/2009/07/13/89909.html#89968陈梓瀚(vczh)陈梓瀚(vczh)Mon, 13 Jul 2009 13:16:00 GMThttp://www.cppblog.com/lingol/archive/2009/07/13/89909.html#89968

陈梓瀚(vczh) 2009-07-13 21:16 发表评论
]]>re: 一阶谓词逻辑归结推理系统（1）http://www.cppblog.com/lingol/archive/2009/05/28/85961.html#86010狼狗狼狗Thu, 28 May 2009 07:44:00 GMThttp://www.cppblog.com/lingol/archive/2009/05/28/85961.html#86010？？

狼狗 2009-05-28 15:44 发表评论
]]>re: 一阶谓词逻辑归结推理系统（1）[未登录]http://www.cppblog.com/lingol/archive/2009/05/28/85961.html#85992THTHThu, 28 May 2009 04:59:00 GMThttp://www.cppblog.com/lingol/archive/2009/05/28/85961.html#85992

TH 2009-05-28 12:59 发表评论
]]>re: http://dev.yesky.com/140/7555640.shtml[未登录]http://www.cppblog.com/lingol/archive/2009/05/27/71628.html#85946THTHWed, 27 May 2009 13:06:00 GMThttp://www.cppblog.com/lingol/archive/2009/05/27/71628.html#85946

TH 2009-05-27 21:06 发表评论
]]>52oceans@163.com[未登录]http://www.cppblog.com/lingol/archive/2009/05/27/71628.html#85947THTHWed, 27 May 2009 13:06:00 GMThttp://www.cppblog.com/lingol/archive/2009/05/27/71628.html#85947

TH 2009-05-27 21:06 发表评论
]]>