检索条件： Infinity in logic and computation : ( 题名 )

检索结果共有223条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Infinity in logic and computation : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, revised selected papers /
责任者 Archibald, Margaret.

出版信息 Springer, ,c2009.

ISBN 9783642030918

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Archibald, Margaret..Infinity in logic and computation : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, revised selected papers /.Springer,,c2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Infinity in logic and computation : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, revised selected papers /

Archibald, Margaret..Springer,,c2009..
2 图书 Algebraic logic and universal algebra computer science (1988 : Ames)
责任者 Algebraic logic and universal algebra computer science

出版信息 Springer ,1990

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Algebraic logic and universal algebra computer science.Algebraic logic and universal algebra computer science (1988 : Ames).Springer,1990.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Algebraic logic and universal algebra computer science (1988 : Ames)

Algebraic logic and universal algebra computer science.Springer,1990.
3 图书 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.
4 图书 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..
5 图书 Computability, complexity, logic
责任者 Egon Borger

出版信息 North-Helland ,1989

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Egon Borger.Computability, complexity, logic.North-Helland,1989.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computability, complexity, logic

Egon Borger.North-Helland,1989.
6 图书 Logics of Programs Workshop(1983 : Pittsburgh)：Logics of programs, Workshop, June 6-8, 1983
责任者 Logics of Programs Workshop

出版信息 Springer ,1984

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Logics of Programs Workshop.Logics of Programs Workshop(1983 : Pittsburgh)：Logics of programs, Workshop, June 6-8, 1983.Springer,1984.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logics of Programs Workshop(1983 : Pittsburgh)：Logics of programs, Workshop, June 6-8, 1983

Logics of Programs Workshop.Springer,1984.
7 图书 Algebraic and logic programming : International Workshop, Gaussig, GDR(1988 )
责任者 Algebraic and Logic programming : International Workshop, Gaussig, GDR

出版信息 Springer ,1988

ISBN

馆藏信息

图书信息

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

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

Algebraic and logic programming : International Workshop, Gaussig, GDR(1988 )

Algebraic and Logic programming : International Workshop, Gaussig, GDR.Springer,1988.
8 图书 Temporal logic and state systems /
责任者 Merz, Stephan.

出版信息 Springer, ,c2008.

ISBN 978-3-540-67401-6

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Merz, Stephan..Temporal logic and state systems /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Temporal logic and state systems /

Merz, Stephan..Springer,,c2008..
9 图书 Logic, language, and computation : 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013, Revised selected papers /
责任者 Aher, Martin,,Hole, Daniel,,Jebek, Emil,,Kupke, C.

出版信息

ISBN 9783662469057 (pbk.) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Aher, Martin,,Hole, Daniel,,Jebek, Emil,,Kupke, C..Logic, language, and computation : 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013, Revised selected papers /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic, language, and computation : 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013, Revised selected papers /

Aher, Martin,,Hole, Daniel,,Jebek, Emil,,Kupke, C..,.
10 图书 All about maude -- A High-performance logical framework : how to specify, program and verify systems in rewriting logic /
责任者 Duran, Francisco.

出版信息 Springer, ,c2007.

ISBN 978-3-540-71940-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Duran, Francisco..All about maude -- A High-performance logical framework : how to specify, program and verify systems in rewriting logic /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

All about maude -- A High-performance logical framework : how to specify, program and verify systems in rewriting logic /

Duran, Francisco..Springer,,c2007..

通借成功!

预约成功!