24小时热门版块排行榜    

查看: 430  |  回复: 3
【奖励】 本帖被评价2次,作者zhangjs增加金币 1.25 个
当前主题已经存档。

zhangjs

铁杆木虫 (职业作家)


[资源] Mathematical Problems from Applied Logic I: Logics for the XXIst Century

Mathematical Problems from Applied Logic I: Logics for the XXIst Century (International Mathematical Series)

   
    * Publisher:   Springer
    * Number Of Pages:   348
    * Publication Date:   2005-11-17
    * Sales Rank:   2582718
    * ISBN / ASIN:   0387286888
    * EAN:   9780387286884
    * Binding:   Hardcover
    * Manufacturer:   Springer
    * Studio:   Springer
    * Average Rating:  
    * Total Reviews:  




Book Description: )

Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. An overview of the current state as well as open problems and perspectives are clarified in such fields as non-standard inferences in description logics, logic of provability, logical dynamics, and computability theory. The book contains interesting contributions concerning the role of logic today, including some unexpected aspects of contemporary logic and the application of logic.

[ Last edited by cuplgz on 2007-3-24 at 18:16 ]
回复此楼
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

卫庆硕

铁杆木虫 (小有名气)


★★★★★ 五星级,优秀推荐

不错,谢谢!
2楼2007-03-24 15:11:37
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

huhulolo

金虫 (初入文坛)


怎么没有链接呢?
3楼2007-03-27 09:26:52
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 zhangjs 的主题更新
☆ 无星级 ★ 一星级 ★★★ 三星级 ★★★★★ 五星级
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[教师之家] 售SCI文章,我:8O5.5.1.O.54,科目齐全,可+急 +4 C6CRn66RYYXS 2026-11-10 4/200 2026-11-12 06:03 by 9fOTqj074tIg
[考博] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +3 C6CRn66RYYXS 2026-11-10 5/250 2026-11-12 06:01 by 9fOTqj074tIg
[考研] 售SCI一区文章,我:8.O.551.O.5.4,科目全,可伽急 +3 C6CRn66RYYXS 2026-11-10 4/200 2026-11-12 05:52 by 9fOTqj074tIg
[考研] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +5 FChKX8meu1ds 2026-11-09 8/400 2026-11-12 05:30 by 9fOTqj074tIg
[教师之家] 售SCI一区T0P文章,我:8O.55.1.O.5.4,科目齐全,可+急 +5 FChKX8meu1ds 2026-11-09 10/500 2026-11-12 05:19 by 9fOTqj074tIg
[基金申请] 售SCI一区T0P文章,我:8.O.55.1.O.5.4,科目全,可+急 +3 FChKX8meu1ds 2026-11-09 7/350 2026-11-12 05:19 by 9fOTqj074tIg
[考博] 售SCI一区文章,我:8.O.55.1.O.54,科目齐全,可伽急 +6 zSbvVX9JFl9J 2026-11-09 9/450 2026-11-12 04:57 by 9fOTqj074tIg
[考研] 售一区SCI文章T0P,我:8O.551.O54,科目全,可十急 +6 zSbvVX9JFl9J 2026-11-09 7/350 2026-11-12 04:49 by 9fOTqj074tIg
[基金申请] 售SCI-T0P文章,我:8O.5.5.1.O.54,科目齐全,可+急 +3 Z7qfCsdIiD1T 2026-11-10 5/250 2026-11-12 02:36 by 9fOTqj074tIg
[公派出国] 售SCI一区文章,我:8.O.551.O.5.4,科目全,可伽急 +3 czAiolzR0IJC 2026-11-10 6/300 2026-11-12 02:23 by 9fOTqj074tIg
[考博] 售SCI一区T0P文章,我:8O.55.1.O.5.4,科目齐全,可+急 +3 czAiolzR0IJC 2026-11-10 5/250 2026-11-12 02:20 by 9fOTqj074tIg
[考博] 售SCI一区T0P文章,我:8.O.55.1.O.5.4,科目全,可+急 +3 czAiolzR0IJC 2026-11-10 4/200 2026-11-12 02:12 by 9fOTqj074tIg
[公派出国] 售SCI一区T0P文章,我:8O.55.1.O.5.4,科目齐全,可+急 +3 czAiolzR0IJC 2026-11-10 4/200 2026-11-12 02:12 by 9fOTqj074tIg
[考研] 售SCI一区文章,我:8O5.5.1.O5.4,科目全,可伽急 +3 G2rhSvqvhNzl 2026-11-10 5/250 2026-11-12 01:50 by 9fOTqj074tIg
[教师之家] 售SCI一区T0P文章,我:8.O55.1.O.54,科目全,可十急 +6 cqv1zKnzd7hr 2026-11-09 7/350 2026-11-12 00:44 by 9fOTqj074tIg
[考研] 售SCI文章,我:8O.5.5.1O.54,科目全,可十急 +6 0TEMgxdT1eIw 2026-11-09 8/400 2026-11-12 00:33 by 9fOTqj074tIg
[教师之家] 售SCI一区文章,我:8O5.5.1.O5.4,科目全,可伽急 +3 czAiolzR0IJC 2026-11-10 3/150 2026-11-11 18:26 by TgvkbZZl9tqB
[考博] 27博士 +3 锦鲤送福至 2026-11-10 3/150 2026-11-11 15:53 by 可淡不可忘
[考研] 售SCI一区T0P文章,我:8O.55.1.O.54,科目全,可伽急 +3 5sJFDKp2kwuI 2026-11-06 12/600 2026-11-09 06:32 by l48hFd8Nwae2
[公派出国] 售SCI一区文章,我:8.O.55.1.O.54,科目齐全,可伽急 +4 5sJFDKp2kwuI 2026-11-06 8/400 2026-11-09 00:14 by l48hFd8Nwae2
信息提示
请填处理意见