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

检索结果共有263条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Symposium on Logic Programming(1987 : California)：proceedings
责任者 Symposium on Logic programming

出版信息 IEEE ,1987

ISBN

馆藏信息

图书信息

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

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

Symposium on Logic Programming(1987 : California)：proceedings

Symposium on Logic programming.IEEE,1987.
2 图书 Symposium on Logic Programming(1985 : Boston)
责任者 Symposium on Logic Programming

出版信息 IEEE ,1985

ISBN

馆藏信息

图书信息

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

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

Symposium on Logic Programming(1985 : Boston)

Symposium on Logic Programming.IEEE,1985.
3 图书 Symposium on Logic Programming(1985 : Boston)
责任者 IEEE Computer Society,Symposium on Logic Programming

出版信息 IEEE ,1985

ISBN

馆藏信息

图书信息

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

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

Symposium on Logic Programming(1985 : Boston)

IEEE Computer Society,Symposium on Logic Programming.IEEE,1985.
4 图书 International Symposium on Logic Programming (1984 : Atlantic City, N. J.)
责任者 International Symposium on Logic Programming

出版信息 IEEE Computer Society Pr. ,1984

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Symposium on Logic Programming.International Symposium on Logic Programming (1984 : Atlantic City, N. J.).IEEE Computer Society Pr.,1984.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

International Symposium on Logic Programming (1984 : Atlantic City, N. J.)

International Symposium on Logic Programming.IEEE Computer Society Pr.,1984.
5 图书 Symposium on Logic Programming(3rd : 1986 : Salt Lake City)：proceedings
责任者 Symposium on Logic Programming

出版信息 IEEE ,1986

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Symposium on Logic Programming.Symposium on Logic Programming(3rd : 1986 : Salt Lake City)：proceedings.IEEE,1986.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Symposium on Logic Programming(3rd : 1986 : Salt Lake City)：proceedings

Symposium on Logic Programming.IEEE,1986.
6 图书 International Symposium on Multiple-Valued Logic(14th : 1984 : Kyoto)：The tweleth international symposium on multiple-valued logic, proceedings
责任者 IEEE,International Symposium on Multiple-Valued Logic

出版信息 IEEE ,1984

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
IEEE,International Symposium on Multiple-Valued Logic.International Symposium on Multiple-Valued Logic(14th : 1984 : Kyoto)：The tweleth international symposium on multiple-valued logic, proceedings.IEEE,1984.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

International Symposium on Multiple-Valued Logic(14th : 1984 : Kyoto)：The tweleth international symposium on multiple-valued logic, proceedings

IEEE,International Symposium on Multiple-Valued Logic.IEEE,1984.
7 图书 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.
8 图书 Summer School and Confernce on Mathematic Logic(1988 : Chalka)：Mathematical logic
责任者 Summer School and Confernce on Mathematic Logic

出版信息 Plenum Pr. ,1990

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Summer School and Confernce on Mathematic Logic.Summer School and Confernce on Mathematic Logic(1988 : Chalka)：Mathematical logic.Plenum Pr.,1990.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Summer School and Confernce on Mathematic Logic(1988 : Chalka)：Mathematical logic

Summer School and Confernce on Mathematic Logic.Plenum Pr.,1990.
9 图书 Workshop on Logic and Computation (1987: Carnegie Mellon University)：Logic and computation
责任者 Worshop on Logic and Computation

出版信息 AMS ,1990

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Worshop on Logic and Computation.Workshop on Logic and Computation (1987: Carnegie Mellon University)：Logic and computation.AMS,1990.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Workshop on Logic and Computation (1987: Carnegie Mellon University)：Logic and computation

Worshop on Logic and Computation.AMS,1990.
10 图书 Symposium on Computational Logic(1990 : Brussels)：Computational logic : symposium proceedings, Brussels, 1990
责任者 J. W. Lloyd,Symtpsium on Computational Logic

出版信息 Springer-Verlag ,1990

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
J. W. Lloyd,Symtpsium on Computational Logic.Symposium on Computational Logic(1990 : Brussels)：Computational logic : symposium proceedings, Brussels, 1990.Springer-Verlag,1990.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Symposium on Computational Logic(1990 : Brussels)：Computational logic : symposium proceedings, Brussels, 1990

J. W. Lloyd,Symtpsium on Computational Logic.Springer-Verlag,1990.

通借成功!

预约成功!