检索条件： International Symposium on Logical Foundations of Computer Science ( 任意词 )

检索结果共有4条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 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.
2 图书 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.
3 图书 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.
4 图书 Formal methods : foundations and applications : 17th Brazilian Symposium, SBMF 2014, Macei, AL, Brazil, September 29-October 1, 2014, Proceedings /
责任者 edited by Christiano Braga, Narciso Mart-Oliet.

出版信息

ISBN 9783319150741 (pbk.) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
edited by Christiano Braga, Narciso Mart-Oliet..Formal methods : foundations and applications : 17th Brazilian Symposium, SBMF 2014, Macei, AL, Brazil, September 29-October 1, 2014, Proceedings /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal methods : foundations and applications : 17th Brazilian Symposium, SBMF 2014, Macei, AL, Brazil, September 29-October 1, 2014, Proceedings /

edited by Christiano Braga, Narciso Mart-Oliet..,.

通借成功!

预约成功!