检索条件： International Conference on Computer Logic ( 任意词 )

检索结果共有61条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 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.
2 图书 Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 ; proceedings /
责任者 Beckman, Arnold.,Dimitracopoulos, Costas.,L?we, Benedikt.

出版信息 Springer, ,c2008.

ISBN 9783540694052 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Beckman, Arnold.,Dimitracopoulos, Costas.,L?we, Benedikt..Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 ; proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 ; proceedings /

Beckman, Arnold.,Dimitracopoulos, Costas.,L?we, Benedikt..Springer,,c2008..
3 图书 Computer science logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 : proceedings /
责任者 Ong, Luke.

出版信息 Springer, ,c2005.

ISBN 3-540-28231-9

馆藏信息

图书信息

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

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 /

Ong, Luke..Springer,,c2005..
4 图书 Logical approaches to computational barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006 : proceedings /
责任者 Beckmann, Arnold.

出版信息 Springer, ,c2006.

ISBN 3-540-35466-2 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Beckmann, Arnold..Logical approaches to computational barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006 : proceedings /.Springer,,c2006..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logical approaches to computational barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006 : proceedings /

Beckmann, Arnold..Springer,,c2006..
5 图书 International Conference on Algebraic and Logic programming(2nd : 1990 : France)：Algebraic and Logic programming
责任者 International Conference on Algebtaic and Logic Programming

出版信息 Springer ,1990

ISBN

馆藏信息

图书信息

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

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

International Conference on Algebraic and Logic programming(2nd : 1990 : France)：Algebraic and Logic programming

International Conference on Algebtaic and Logic Programming.Springer,1990.
6 图书 International Conference on Logic Programming(3rd : 1986 : London)：proceedings
责任者 International Conference on Logic Programming

出版信息 Springer ,1986

ISBN

馆藏信息

图书信息

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

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

International Conference on Logic Programming(3rd : 1986 : London)：proceedings

International Conference on Logic Programming.Springer,1986.
7 图书 Conference on the Logic of Programs(1985 : Brooklyn College)：Logics of programs : proceedings
责任者 Conference on the Logic of Programs

出版信息 Springer-Verlag ,1985

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Conference on the Logic of Programs.Conference on the Logic of Programs(1985 : Brooklyn College)：Logics of programs : proceedings.Springer-Verlag,1985.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Conference on the Logic of Programs(1985 : Brooklyn College)：Logics of programs : proceedings

Conference on the Logic of Programs.Springer-Verlag,1985.
8 图书 Relations and Kleene algebra in computer science : 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenw?rth, Germany, April 7-11, 2008 : proceedings /
责任者 Berghammer, R.,M?ller, Bernhard,,Struth, Georg.

出版信息 Springer, ,2008.

ISBN 9783540789123 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Berghammer, R.,M?ller, Bernhard,,Struth, Georg..Relations and Kleene algebra in computer science : 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenw?rth, Germany, April 7-11, 2008 : proceedings /.Springer,,2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Relations and Kleene algebra in computer science : 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenw?rth, Germany, April 7-11, 2008 : proceedings /

Berghammer, R.,M?ller, Bernhard,,Struth, Georg..Springer,,2008..
9 图书 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..
10 图书 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..

通借成功!

预约成功!