检索条件： Logic programming ( 任意词 )

检索结果共有106条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Parallel logic programming
责任者 Evan Tick

出版信息 MIT Press ,1991

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Evan Tick.Parallel logic programming.MIT Press,1991.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/24679
复制引文到剪贴板

Parallel logic programming

Evan Tick.MIT Press,1991.
2 图书 Logic Programming Conference(8th : 1989 : Tokyo)：Logic programming`87 ; proceedings
责任者 Logic Programming Conference

出版信息 Springer-Verlag ,1989

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Logic Programming Conference.Logic Programming Conference(8th : 1989 : Tokyo)：Logic programming`87 ; proceedings.Springer-Verlag,1989.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/29264
复制引文到剪贴板

Logic Programming Conference(8th : 1989 : Tokyo)：Logic programming`87 ; proceedings

Logic Programming Conference.Springer-Verlag,1989.
3 图书 Logic Programming Conference(6th : 1987 : Tokyo)：Logic programming`87 ; proceedings
责任者 Logic Programming Conference

出版信息 Springer-Verlag ,1988

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Logic Programming Conference.Logic Programming Conference(6th : 1987 : Tokyo)：Logic programming`87 ; proceedings.Springer-Verlag,1988.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/29262
复制引文到剪贴板

Logic Programming Conference(6th : 1987 : Tokyo)：Logic programming`87 ; proceedings

Logic Programming Conference.Springer-Verlag,1988.
4 图书 Logic Programming Conference(4th : 1985 : Tokyo)：Logic programming`85 ; proceedings
责任者 Logic Programming Conference

出版信息 Springer-Verlag ,1986

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Logic Programming Conference.Logic Programming Conference(4th : 1985 : Tokyo)：Logic programming`85 ; proceedings.Springer-Verlag,1986.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/29257
复制引文到剪贴板

Logic Programming Conference(4th : 1985 : Tokyo)：Logic programming`85 ; proceedings

Logic Programming Conference.Springer-Verlag,1986.
5 图书 Foundations of logic programming
责任者 J. W. Lioyd

出版信息 Springer ,1984

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
J. W. Lioyd.Foundations of logic programming.Springer,1984.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/25881
复制引文到剪贴板

Foundations of logic programming

J. W. Lioyd.Springer,1984.
6 图书 International Conference on Logic Programming(8th ; 1991 : Paris)：Logic Programming
责任者 International Conference on Logic Programming

出版信息 MIT ,1991

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Conference on Logic Programming.International Conference on Logic Programming(8th ; 1991 : Paris)：Logic Programming.MIT,1991.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/30299
复制引文到剪贴板

International Conference on Logic Programming(8th ; 1991 : Paris)：Logic Programming

International Conference on Logic Programming.MIT,1991.
7 图书 International Conference on Logic Programming(7th : 1990 : Jerusal)：Logic programming
责任者 International Conference on Logic Programming

出版信息 MTT ,1990

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Conference on Logic Programming.International Conference on Logic Programming(7th : 1990 : Jerusal)：Logic programming.MTT,1990.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/30298
复制引文到剪贴板

International Conference on Logic Programming(7th : 1990 : Jerusal)：Logic programming

International Conference on Logic Programming.MTT,1990.
8 图书 Logic programming and databases
责任者 S. Ceri,G. Gottlob,L. Tanca

出版信息 Springer-Verlag ,1990

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
S. Ceri,G. Gottlob,L. Tanca.Logic programming and databases.Springer-Verlag,1990.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/25137
复制引文到剪贴板

Logic programming and databases

S. Ceri,G. Gottlob,L. Tanca.Springer-Verlag,1990.
9 图书 Parallel logic programming techniques
责任者 Stephen Taylor

出版信息 Prentice Hall ,1989

ISBN 0-13-648767-X

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Stephen Taylor.Parallel logic programming techniques.Prentice Hall,1989.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/25188
复制引文到剪贴板

Parallel logic programming techniques

Stephen Taylor.Prentice Hall,1989.
10 图书 American Conference on Logic programming(4th : 1990 : Austin, Tex)：Logic programming
责任者 American Conference on Logic programming

出版信息 MIT Pre ,1990

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
American Conference on Logic programming.American Conference on Logic programming(4th : 1990 : Austin, Tex)：Logic programming.MIT Pre,1990.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/30321
复制引文到剪贴板

American Conference on Logic programming(4th : 1990 : Austin, Tex)：Logic programming

American Conference on Logic programming.MIT Pre,1990.

通借成功!

预约成功!