检索条件： Symtpsium on Computational Logic ( 任意词 )

检索结果共有134条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 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.
2 图书 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.
3 图书 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.
4 图书 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.
5 图书 Workshop on Computer Science Logic (3rd : 1989 : FRG)：CSL`89
责任者 Workshop on Computer Science Logic

出版信息 Springer ,1990

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Workshop on Computer Science Logic.Workshop on Computer Science Logic (3rd : 1989 : FRG)：CSL`89.Springer,1990.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Workshop on Computer Science Logic (3rd : 1989 : FRG)：CSL`89

Workshop on Computer Science Logic.Springer,1990.
6 图书 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.
7 图书 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..
8 图书 International Conference on Computer Logic (1988 : Tallinn, USSR)：COLOG-88 : proceedings
责任者 International Conference on Computer Logic

出版信息 Springer ,1990

ISBN

馆藏信息

图书信息

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

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

International Conference on Computer Logic (1988 : Tallinn, USSR)：COLOG-88 : proceedings

International Conference on Computer Logic.Springer,1990.
9 图书 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.
10 图书 Workshop on Computer Science Logic(2nd : 1988 : FRG)：CSL`88 : proceedings
责任者 E. Borger,Workshop on Computer Science Logic

出版信息 Springer-Verlag ,1989

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
E. Borger,Workshop on Computer Science Logic.Workshop on Computer Science Logic(2nd : 1988 : FRG)：CSL`88 : proceedings.Springer-Verlag,1989.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Workshop on Computer Science Logic(2nd : 1988 : FRG)：CSL`88 : proceedings

E. Borger,Workshop on Computer Science Logic.Springer-Verlag,1989.

通借成功!

预约成功!