检索条件： Workshop on Computer Science Logic ( 任意词 )

检索结果共有110条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 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.
2 图书 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.
3 图书 Workshop on Computer Science Logic(1st : 1987 : Karlsuhe)：CSL`87 : proceedings
责任者 Workshop on Computer Science Logic

出版信息 Springer ,1988

ISBN

馆藏信息

图书信息

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

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

Workshop on Computer Science Logic(1st : 1987 : Karlsuhe)：CSL`87 : proceedings

Workshop on Computer Science Logic.Springer,1988.
4 图书 Computer science logic: 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
责任者

出版信息

ISBN 3-540-42554-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Computer science logic: 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computer science logic: 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

.,.
5 图书 Computer science logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 : proceedings /
责任者

出版信息

ISBN 2005930337

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Computer science logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 : proceedings /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computer science logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 : proceedings /

.,.
6 图书 Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt G?del Colloquium, KGC 2003 : proceedings /
责任者 Kurt G?del Colloquium

出版信息

ISBN 2003059118

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Kurt G?del Colloquium.Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt G?del Colloquium, KGC 2003 : proceedings /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt G?del Colloquium, KGC 2003 : proceedings /

Kurt G?del Colloquium.,.
7 图书 Computer science logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings /
责任者

出版信息

ISBN 2004111518

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Computer science logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computer science logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings /

.,.
8 图书 Computer science logic : 16th International Workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings /
责任者

出版信息

ISBN 2002030554

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Computer science logic : 16th International Workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computer science logic : 16th International Workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings /

.,.
9 图书 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.
10 图书 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.

通借成功!

预约成功!