Paper help needed - CS版 - 未名存档

本页内容为未名空间相应帖子的节选和存档，一周内的贴子最多显示50字，超过一周显示500字访问原贴

CS版 - Paper help needed

相关主题
● 为什么有这么多逻辑？	● YAHOO INTERN OFFER
● top Computer Vision Conf/Journal	● 是否有可行性？
● Elsevier Journal of Computer Communications 是什么定位的杂志？	● 有大牛给computer networks (elsevier)审过稿子的吗？
● Medical Image Analysis怎么样呀？	● Wiki 战争（修改版）
● 大家看看这个C++问题	● About scheduling for RAID
● Elsevier的Computer Communications的special issue好发么?	● 表扬一下Rajeev Alur 同学
● 为什么这个杂志让作者互相review文章?	● 大家给点建议, 那些Artificial Intelligence techniques现在用的比较多?
● Elsevier的Theoretical Computer Science怎么样？	● 有做过Hoare Logic的没？

相关话题的讨论汇总
话题: paper话题: logic

进入CS版参与讨论

1

(共1页)

c*****t 发帖数: 1879	1 LOGIN: A logic programming language with built-in inheritance H Aīt-Kaci… - The Journal of Logic Programming, 1986 - Elsevier please email to d*****[email protected] Thanks a lot
c*****t 发帖数: 1879	2 Got the paper. Thanks a lot.

1

(共1页)

进入CS版参与讨论

相关主题
● 有做过Hoare Logic的没？	● 大家看看这个C++问题
● cloud	● Elsevier的Computer Communications的special issue好发么?
● 问高手一个分区的问题	● 为什么这个杂志让作者互相review文章?
● 如何确保多线程程序在 multicore server 上用所有的 core	● Elsevier的Theoretical Computer Science怎么样？
● 为什么有这么多逻辑？	● YAHOO INTERN OFFER
● top Computer Vision Conf/Journal	● 是否有可行性？
● Elsevier Journal of Computer Communications 是什么定位的杂志？	● 有大牛给computer networks (elsevier)审过稿子的吗？
● Medical Image Analysis怎么样呀？	● Wiki 战争（修改版）

相关话题的讨论汇总
话题: paper话题: logic

未名新帖统计// 7月16日

#	版面	帖数(主题数)
-	全站	4871 (796)
1	Military	3777 (569)
2	Stock	341 (51)
3	Joke	117 (17)
4	History	116 (3)
5	Automobile	100 (9)
6	USANews	55 (9)
7	Midlife	45 (1)
8	Headline	41 (41)
9	Dreamer	33 (13)
10	FleaMarket	32 (20)
11	Living	30 (7)

* 这里只显示发帖超过25的版面，努力灌水吧:-)