检索条件： European Workshop on Logics in AI ( 任意词 )

检索结果共有39条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 European Workshop on Logics in AI (1990 : Amsterdam)：Logics in AI
责任者 European Workshop on Logics in AI

出版信息 Springer ,1991

ISBN

馆藏信息

图书信息

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

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

European Workshop on Logics in AI (1990 : Amsterdam)：Logics in AI

European Workshop on Logics in AI.Springer,1991.
2 图书 International Workshop on Meta-Programming in Logic(3rd : 1992 : Uppsala)：Meta-programming in logic
责任者 International Workshop on Meta-Programming in Logic

出版信息 Springer ,1992

ISBN

馆藏信息

图书信息

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

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

International Workshop on Meta-Programming in Logic(3rd : 1992 : Uppsala)：Meta-programming in logic

International Workshop on Meta-Programming in Logic.Springer,1992.
3 图书 International Workshop on Extensions of Logic programming：Extensions of logic programming
责任者 J. Sickmann,International Workshop on Extensions of Logic programming

出版信息 Springer ,1991

ISBN

馆藏信息

图书信息

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

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

International Workshop on Extensions of Logic programming：Extensions of logic programming

J. Sickmann,International Workshop on Extensions of Logic programming.Springer,1991.
4 图书 All Berlin Workshop on Nonclassical Logics and Information(1st : 1990 : Berlin)：Nonclassical logics and information proceedings
责任者 All Berlin Workshop on Nonclassical Logics and Information

出版信息 Springer ,1990

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
All Berlin Workshop on Nonclassical Logics and Information.All Berlin Workshop on Nonclassical Logics and Information(1st : 1990 : Berlin)：Nonclassical logics and information proceedings.Springer,1990.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

All Berlin Workshop on Nonclassical Logics and Information(1st : 1990 : Berlin)：Nonclassical logics and information proceedings

All Berlin Workshop on Nonclassical Logics and Information.Springer,1990.
5 图书 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.
6 图书 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.
7 图书 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.
8 图书 International Workshop on Programming Languages Implementation and Logic Programming (2nd : 1990 : Sweden)：Programming language implementation and logic programming : proceedings
责任者 International Workshop on Programming Language Implementation and Logic Programming

出版信息 Springer ,1990

ISBN

馆藏信息

图书信息

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

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

International Workshop on Programming Languages Implementation and Logic Programming (2nd : 1990 : Sweden)：Programming language implementation and logic programming : proceedings

International Workshop on Programming Language Implementation and Logic Programming.Springer,1990.
9 图书 International Workshop on Programming Languages Implementation and Logic Programming(1st : 1988 : Orleans)：Programming languages implementation and logic programming : proceedings
责任者 International Workshop on Programming Languages Implementation and Logic Programming

出版信息 Springer ,1989

ISBN

馆藏信息

图书信息

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

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

International Workshop on Programming Languages Implementation and Logic Programming(1st : 1988 : Orleans)：Programming languages implementation and logic programming : proceedings

International Workshop on Programming Languages Implementation and Logic Programming.Springer,1989.
10 图书 Recent advances in constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 : revised selected papers /
责任者 Fages, Fran?ois.,Rossi, Francesca.,Soliman, Sylvain.

出版信息 Springer, ,c2008.

ISBN 9783540898115

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Fages, Fran?ois.,Rossi, Francesca.,Soliman, Sylvain..Recent advances in constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 : revised selected papers /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Recent advances in constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 : revised selected papers /

Fages, Fran?ois.,Rossi, Francesca.,Soliman, Sylvain..Springer,,c2008..

通借成功!

预约成功!