应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 学术交流区 » 论文投稿 » 投稿求助 » 写了一篇形式化逻辑相关的文章，不知道投哪
51/1返回列表
查看: 692  |  回复: 6
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看
当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖

clueange

禁虫 (小有名气)
本帖内容被屏蔽

» 猜你喜欢

» 本主题相关价值贴推荐，对您同样有帮助:
1楼 2014-09-14 17:36:50
已阅   关注TA 给TA发消息 送TA红花 TA的回帖

lvyupku

木虫 (著名写手)

【答案】应助回帖

★ ★
感谢参与，应助指数 +1
clueange: 金币+2, ★★★很有帮助 2014-09-15 09:53:58
除了4楼说的3个，推荐一个Journal of Automated Reasoning，也是SCI
赞一下 回复此楼
6楼2014-09-15 05:24:23
已阅   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 7 个回答

uchengz

银虫 (著名写手)

【答案】应助回帖

★ ★ ★
感谢参与，应助指数 +1
clueange: 金币+3, ★★★很有帮助 2014-09-14 18:24:37
Theoretic computer science
Science of Computer Programming
赞一下 回复此楼
但凡夫之人，贪着其事
2楼2014-09-14 17:39:20
已阅   关注TA 给TA发消息 送TA红花 TA的回帖

clueange

禁虫 (小有名气)
本帖内容被屏蔽
3楼2014-09-14 18:26:14
已阅   关注TA 给TA发消息 送TA红花 TA的回帖

uchengz

银虫 (著名写手)
引用回帖:
3楼: Originally posted by clueange at 2014-09-14 18:26:14
兄弟了解这两个期刊的接收难易程度不？...

难度Theoretic computer science更大一些，
Science of Computer Programming还有另一个Formal Aspect of Computing差不多
赞一下(1人) 回复此楼
但凡夫之人，贪着其事
4楼2014-09-14 19:10:46
已阅   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 7 个回答
信息提示
关闭
请填处理意见
关闭