登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
PX a computational logic
出版社：
Cambridge, Mass. : MIT Press, 1988.
ISBN：
0262081741
出版年：
1988
作者：
Hayashi,Susumu,
资源类型：
图书
细分类型：
西文文献
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
PX, a computational logic
作者：
Hayashi,Susumu,
ISBN：
0262081741 200.00
出版社：
Cambridge, Mass. : MIT Press, 1988.
出版年：
1988
A computational logic
作者：
Boyer,Robert S.
ISBN：
0121229505
出版社：
New York : Academic Press, c1979.
出版年：
1979
A computational logic handbook
作者：
Boyer,Robert S.
ISBN：
0121229556
出版社：
San Diego, Calif. : Academic Pr., c1998.
出版年：
1998
Computational logic
作者：
NATO Advanced Study Institute on Computational Logic
ISBN：
3540645896
出版社：
Berlin ; New York : Springer, 1999.
出版年：
1999
Computational logic : logic programming and beyond : essays in honor of Robert A. Kowalski
作者：
Kakas,Antonis C.
ISBN：
3540439595
出版社：
Berlin : Springer, c2002.
出版年：
2002
Program development in computational logic : a decade of research advances in logic-based program de
作者：
Bruynooghe,M.
ISBN：
3540221522
出版社：
Berlin ; New York : Springer, 2004.
出版年：
2004
×
访问借阅管理系统
问图书管理员
馆际互借