登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
Computational logic : logic programming and beyond : essays in honor of Robert A. Kowalski
出版社：
Berlin : Springer, c2002.
ISBN：
3540439595
出版年：
2002
作者：
Kakas,Antonis C.
资源类型：
图书
细分类型：
西文文献
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
作者：
Kakas,Antonis C.
ISBN：
3540439595
出版社：
Heidelberg ; New York : Springer, c2002.
出版年：
2002
A computational logic handbook
作者：
Boyer,Robert S.
ISBN：
0121229556
出版社：
San Diego, Calif. : Academic Pr., c1998.
出版年：
1998
A computational logic
作者：
Boyer,Robert S.
ISBN：
0121229505
出版社：
New York : Academic Press, c1979.
出版年：
1979
PX, a computational logic
作者：
Hayashi,Susumu,
ISBN：
0262081741
出版社：
Cambridge, Mass. : MIT Press, 1988.
出版年：
1988
PX, a computational logic
作者：
Hayashi,Susumu,
ISBN：
0262081741 200.00
出版社：
Cambridge, Mass. : MIT Press, 1988.
出版年：
1988
Equational logic as a programming language
作者：
O''Donnell,Michael J.,
ISBN：
026215028X
出版社：
Cambridge : MIT, c1985.
出版年：
1985
×
访问借阅管理系统
问图书管理员
馆际互借