检索条件： Computational logic : ( 题名 )

检索结果共有17条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Computer logic design
责任者 M. M. Mano

出版信息 Prentice-Hall ,1972

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
M. M. Mano.Computer logic design.Prentice-Hall,1972.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computer logic design

M. M. Mano.Prentice-Hall,1972.
2 图书 Computer logic testing and verification
责任者 J. P. Roth

出版信息 s. n.] ,176 p.

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
J. P. Roth.Computer logic testing and verification.s. n.],176 p..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computer logic testing and verification

J. P. Roth.s. n.],176 p..
3 图书 Symposium on Computational Logic(1990 : Brussels)：Computational logic : symposium proceedings, Brussels, 1990
责任者 J. W. Lloyd,Symtpsium on Computational Logic

出版信息 Springer-Verlag ,1990

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
J. W. Lloyd,Symtpsium on Computational Logic.Symposium on Computational Logic(1990 : Brussels)：Computational logic : symposium proceedings, Brussels, 1990.Springer-Verlag,1990.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Symposium on Computational Logic(1990 : Brussels)：Computational logic : symposium proceedings, Brussels, 1990

J. W. Lloyd,Symtpsium on Computational Logic.Springer-Verlag,1990.
4 图书 Constraints in computational logics : theory and applications /
责任者 Comon, Hubert.,March鈋, Claude.,Treinen, Ralf.

出版信息 Springer, ,2001.

ISBN 3-540-41950-0 (pbk. : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Comon, Hubert.,March鈋, Claude.,Treinen, Ralf..Constraints in computational logics : theory and applications /.Springer,,2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Constraints in computational logics : theory and applications /

Comon, Hubert.,March鈋, Claude.,Treinen, Ralf..Springer,,2001..
5 图书 Computational logic : logic programming and beyond :
责任者 Kakas, Antonis C.,Sadri, Fariba,,Kowalski, Robert.

出版信息 Springer, ,c2002-

ISBN 3-540-43959-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Kakas, Antonis C.,Sadri, Fariba,,Kowalski, Robert..Computational logic : logic programming and beyond :.Springer,,c2002-.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computational logic : logic programming and beyond :

Kakas, Antonis C.,Sadri, Fariba,,Kowalski, Robert..Springer,,c2002-.
6 图书 Computational logic : logic programming and beyond :
责任者 Kakas, Antonis C.,Sadri, Fariba,,Kowalski, Robert.

出版信息 Springer, ,c2002-

ISBN 3-540-43960-9

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Kakas, Antonis C.,Sadri, Fariba,,Kowalski, Robert..Computational logic : logic programming and beyond :.Springer,,c2002-.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computational logic : logic programming and beyond :

Kakas, Antonis C.,Sadri, Fariba,,Kowalski, Robert..Springer,,c2002-.
7 图书 Computational logic and human thinking : how to be artificially intelligent /
责任者 Robert Kowalski.

出版信息 Cambridge University Press, ,2011.

ISBN 978-0-5211-2336-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Robert Kowalski..Computational logic and human thinking : how to be artificially intelligent /.Cambridge University Press,,2011..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computational logic and human thinking : how to be artificially intelligent /

Robert Kowalski..Cambridge University Press,,2011..
8 图书 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.
9 图书 Program development in computational logic : a decade of research advances in logic-based program development /
责任者 Bruynooghe, M.,Lau, K.-K.

出版信息 Springer, ,c2004.

ISBN 3-540-22152-2

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bruynooghe, M.,Lau, K.-K..Program development in computational logic : a decade of research advances in logic-based program development /.Springer,,c2004..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Program development in computational logic : a decade of research advances in logic-based program development /

Bruynooghe, M.,Lau, K.-K..Springer,,c2004..
10 图书 Computational logic in multi-agent systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014 : proceedings /
责任者 Bulling, Nils.

出版信息 Springer, ,2014.

ISBN 9783319097633

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bulling, Nils..Computational logic in multi-agent systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014 : proceedings /.Springer,,2014..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computational logic in multi-agent systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014 : proceedings /

Bulling, Nils..Springer,,2014..

通借成功!

预约成功!