检索条件： IEEE Symposium on Logic in Computer Science ( 任意词 )

检索结果共有18条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 IEEE Symposium on Logic in Computer Science(6th : 1991 : Amsterdam)：proceedings
责任者 IEEE Symposium on Logic in Computer Science

出版信息 IEEE ,1991

ISBN

馆藏信息

图书信息

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

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

IEEE Symposium on Logic in Computer Science(6th : 1991 : Amsterdam)：proceedings

IEEE Symposium on Logic in Computer Science.IEEE,1991.
2 图书 IEEE Symposium on Logic in Computer Science(5th : 1990 : Philadelphia, PA)：proceedings
责任者 IEEETCMFC,IEEE Symposium on Logic in Computer Science

出版信息 IEEE Computer Society Pr. ,1990

ISBN

馆藏信息

图书信息

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

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

IEEE Symposium on Logic in Computer Science(5th : 1990 : Philadelphia, PA)：proceedings

IEEETCMFC,IEEE Symposium on Logic in Computer Science.IEEE Computer Society Pr.,1990.
3 图书 Symposium on Logic in Computer Science(3rd : 1988 : Edinburgh, Scotland)：Logic in computer science : proceedings
责任者 CSTCMFC,Symposium on Logic in Computer Science

出版信息 Computer Society Pr. ,1989

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
CSTCMFC,Symposium on Logic in Computer Science.Symposium on Logic in Computer Science(3rd : 1988 : Edinburgh, Scotland)：Logic in computer science : proceedings.Computer Society Pr.,1989.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Symposium on Logic in Computer Science(3rd : 1988 : Edinburgh, Scotland)：Logic in computer science : proceedings

CSTCMFC,Symposium on Logic in Computer Science.Computer Society Pr.,1989.
4 图书 Symposium on Logical Foundations of Computer Science(1989 : Pereslavl Zalessky, USSR)：Logic at Botik`98 : proceedings
责任者 Symposium on Logical Foundations of Computer Science

出版信息 Springer ,1989

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Symposium on Logical Foundations of Computer Science.Symposium on Logical Foundations of Computer Science(1989 : Pereslavl Zalessky, USSR)：Logic at Botik`98 : proceedings.Springer,1989.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Symposium on Logical Foundations of Computer Science(1989 : Pereslavl Zalessky, USSR)：Logic at Botik`98 : proceedings

Symposium on Logical Foundations of Computer Science.Springer,1989.
5 图书 International Symposium on Logical Foundation of Computer Science(2nd : 1992 : Tver)：Logical foundations of computer Science
责任者 International Symposoium on Logical Foundation of Computer Science

出版信息 Springer ,1992

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Symposoium on Logical Foundation of Computer Science.International Symposium on Logical Foundation of Computer Science(2nd : 1992 : Tver)：Logical foundations of computer Science.Springer,1992.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

International Symposium on Logical Foundation of Computer Science(2nd : 1992 : Tver)：Logical foundations of computer Science

International Symposoium on Logical Foundation of Computer Science.Springer,1992.
6 图书 Symposium on Logic in Computer Science(4th : 1989 : Cambridge)：LICS-89 : proceedings
责任者 Symposium on Logic in Computer Science

出版信息 IEEE ,1989

ISBN

馆藏信息

图书信息

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

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

Symposium on Logic in Computer Science(4th : 1989 : Cambridge)：LICS-89 : proceedings

Symposium on Logic in Computer Science.IEEE,1989.
7 图书 Symposium on Logic in Computer Science(1986 : Cambridge)：proceedings
责任者 Symposium on Logic in Computer Science

出版信息 IEEE ,1986

ISBN

馆藏信息

图书信息

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

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

Symposium on Logic in Computer Science(1986 : Cambridge)：proceedings

Symposium on Logic in Computer Science.IEEE,1986.
8 图书 International Symposium on Logical Foundations of Computer Science(2nd : 1992 : Tver)：Logiccal foundations of computer science
责任者 International Symposium on Logical Foundations of Computer Science

出版信息 Springer ,1992

ISBN 3-540-55707-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Symposium on Logical Foundations of Computer Science.International Symposium on Logical Foundations of Computer Science(2nd : 1992 : Tver)：Logiccal foundations of computer science.Springer,1992.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

International Symposium on Logical Foundations of Computer Science(2nd : 1992 : Tver)：Logiccal foundations of computer science

International Symposium on Logical Foundations of Computer Science.Springer,1992.
9 图书 Logic, language, and computation : 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 : revised selected papers /
责任者 Cate, Balder David ten.,Zeevat, Henk,

出版信息 Springer, ,c2007.

ISBN 978-3-540-75143-4 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cate, Balder David ten.,Zeevat, Henk,.Logic, language, and computation : 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 : revised selected papers /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic, language, and computation : 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 : revised selected papers /

Cate, Balder David ten.,Zeevat, Henk,.Springer,,c2007..
10 图书 International Symposium on Programming Language Implementation and Logic Programming(3rd : 1991 : Passau)：programming language Implementation and Logic Programming : proceedings
责任者 International Symposium on Programming Language Implementation and Logic Programming,PLILP 91

出版信息 Springer ,1991

ISBN

馆藏信息

图书信息

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

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

International Symposium on Programming Language Implementation and Logic Programming(3rd : 1991 : Passau)：programming language Implementation and Logic Programming : proceedings

International Symposium on Programming Language Implementation and Logic Programming,PLILP 91.Springer,1991.

通借成功!

预约成功!