由买买提看人间百态

boards

本页内容为未名空间相应帖子的节选和存档,一周内的贴子最多显示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++问题
cloudElsevier的Computer Communications的special issue好发么?
问高手一个分区的问题为什么这个杂志让作者互相review文章?
如何确保多线程程序在 multicore server 上 用所有的 coreElsevier的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