posts - 9, comments - 11, trackbacks - 0

2010年2月4日

QQ阅读空间博客认领

posted @ 2010-02-04 19:33 lingol 阅读(273) | 评论 (0) | 编辑收藏

2009年12月5日

山寨版字幕批量修改器

posted @ 2009-12-05 01:59 lingol 阅读(1461) | 评论 (0) | 编辑收藏

2009年11月17日

Golang

posted @ 2009-11-17 00:47 lingol 阅读(2931) | 评论 (1) | 编辑收藏

2009年8月5日

一阶谓词逻辑归结推理系统（2）--Skolem化步骤

posted @ 2009-08-05 09:56 lingol 阅读(3854) | 评论 (1) | 编辑收藏

2009年7月13日

资源重用、右值引用杂感

posted @ 2009-07-13 01:03 lingol 阅读(538) | 评论 (2) | 编辑收藏

2009年6月23日

Java's Generics sucks!

posted @ 2009-06-23 01:22 lingol 阅读(239) | 评论 (0) | 编辑收藏

2009年6月4日

网易实习生笔试第一题

posted @ 2009-06-04 23:12 lingol 阅读(343) | 评论 (0) | 编辑收藏

2009年5月28日

一阶谓词逻辑归结推理系统（1）

posted @ 2009-05-28 11:13 lingol 阅读(1696) | 评论 (5) | 编辑收藏

2009年1月10日

http://dev.yesky.com/140/7555640.shtml

posted @ 2009-01-10 01:40 lingol 阅读(405) | 评论 (2) | 编辑收藏

列出全部内容

2012年10月

日

一

二

三

四

五

六

30

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

1

2

3

4

5

6

7

8

9

10

留言簿(5)

随笔档案

文章档案

2009年3月 (1)

搜索

最新评论

1. re: 一阶谓词逻辑归结推理系统（1）
不知現在還有沒人上這個博客,, 想請教下關於謂詞演算的系統設計,, 我是從 csdn上找到這裡的.. 郵箱 363325971@qq.com 望指導...
--key
2. re: 一阶谓词逻辑归结推理系统（1）
不知現在還有沒人上這個博客,, 想請教下關於謂詞演算的系統設計,, 我是從 csdn上找到這裡的.. 郵箱 363325971@qq.com 望指導...
--key
3. re: Golang
评论内容较长,点击标题查看
--bridge
4. re: 一阶谓词逻辑归结推理系统（1）
不知能否提供C语言实现的谓词逻辑归结推理系统供参考和学习？请发到oulibin@126.com，万分感谢！
--区立斌
5. re: 一阶谓词逻辑归结推理系统（2）--Skolem化步骤
.。。。。来了。。。好失望。。
--飞机

阅读排行榜

评论排行榜