检索条件： 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 /
责任者

出版信息

ISBN 2008928722

馆藏信息

图书信息

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

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 /

.,.
3 图书 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 /

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

出版信息

ISBN 2006927797

馆藏信息

图书信息

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

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 /

.,.
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 /
责任者 International Workshop on Applications of Kleene Algebra

出版信息

ISBN 9783540789123 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Workshop on Applications of Kleene Algebra.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 /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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 /

International Workshop on Applications of Kleene Algebra.,.
9 图书 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

.,.
10 图书 Computer science logic : 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings /
责任者

出版信息

ISBN 2008934680

馆藏信息

图书信息

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

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 /

.,.

通借成功!

预约成功!