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

检索结果共有291条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Computer Science logic (5th : 1992 )
责任者 Computer Science Logic,CSL`91

出版信息 Springer ,1992

ISBN

馆藏信息

图书信息

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

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

Computer Science logic (5th : 1992 )

Computer Science Logic,CSL`91.Springer,1992.
2 图书 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.
3 图书 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.
4 图书 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.
5 图书 Workshop CSL`90(4th : 1990 : Germany)：Computer Science Logic
责任者 Workshop CSL`90

出版信息 Springer ,1991

ISBN

馆藏信息

图书信息

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

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

Workshop CSL`90(4th : 1990 : Germany)：Computer Science Logic

Workshop CSL`90.Springer,1991.
6 图书 Computer science logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings /
责任者 Marcinkowski, Jerzy.,Tarlecki, Andrzej.

出版信息 Springer, ,c2004.

ISBN 3-540-23024-6

馆藏信息

图书信息

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

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 /

Marcinkowski, Jerzy.,Tarlecki, Andrzej..Springer,,c2004..
7 图书 Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt G?del Colloquium, KGC 2003 : proceedings /
责任者 Baaz, Matthias.,Makowsky, Johann A.,

出版信息 Springer, ,2003.

ISBN 3-540-40801-0

馆藏信息

图书信息

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

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 /

Baaz, Matthias.,Makowsky, Johann A.,.Springer,,2003..
8 图书 Computer science logic : 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings /
责任者 Kaminski, Michael.,Martini, Simone,

出版信息 Springer, ,2008.

ISBN 9783540875307 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Kaminski, Michael.,Martini, Simone,.Computer science logic : 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings /.Springer,,2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computer science logic : 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings /

Kaminski, Michael.,Martini, Simone,.Springer,,2008..
9 图书 Computer science logic: 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
责任者 Fribourg, Laurent

出版信息 Springer, ,2001.

ISBN 3-540-42554-3

馆藏信息

图书信息

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

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

Fribourg, Laurent.Springer,,2001..
10 图书 Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings /
责任者 Duparc, Jacques,,Henzinger, T. A.

出版信息 Springer, ,c2007.

ISBN 978-3-540-74914-1 (sofcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Duparc, Jacques,,Henzinger, T. A..Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings /

Duparc, Jacques,,Henzinger, T. A..Springer,,c2007..

通借成功!

预约成功!