检索筛选

图书馆

馆藏地点

显示更多

中图法分类

显示更多

文献类型

出版日期

显示更多

著者

显示更多

主题

显示更多

资源类型

纸质资源 (893)

检索条件： Logics in artificial intelligence : ( 题名 )

检索结果共有893条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Handbook of Logic in Artificial Intelligence and Logic Programming．V.4，Epistemic and Temporal Reasoning
责任者 Dov. M. Gabbay,C. J. Hogger,J. A. Robinson

出版信息 Clarendon Pr. ,1995

ISBN 0-19-853791-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Dov. M. Gabbay,C. J. Hogger,J. A. Robinson.Handbook of Logic in Artificial Intelligence and Logic Programming．V.4，Epistemic and Temporal Reasoning.Clarendon Pr.,1995.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Handbook of Logic in Artificial Intelligence and Logic Programming．V.4，Epistemic and Temporal Reasoning

Dov. M. Gabbay,C. J. Hogger,J. A. Robinson.Clarendon Pr.,1995.
2 图书 Logics in artificial intelligence : 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 : proceedings /
责任者 Ho?lldobler, Steffen,,Lutz, Carsten,,Wansing, H.

出版信息 Springer, ,c2008.

ISBN 9783540878025 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Ho?lldobler, Steffen,,Lutz, Carsten,,Wansing, H..Logics in artificial intelligence : 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 : proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logics in artificial intelligence : 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 : proceedings /

Ho?lldobler, Steffen,,Lutz, Carsten,,Wansing, H..Springer,,c2008..
3 图书 Logics in artificial intelligence : 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings /
责任者 Alferes, José Júlio.,Leite, Jo?o Alexandre.

出版信息 Springer, ,c2004.

ISBN 3-540-23242-7

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Alferes, José Júlio.,Leite, Jo?o Alexandre..Logics in artificial intelligence : 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings /.Springer,,c2004..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logics in artificial intelligence : 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings /

Alferes, José Júlio.,Leite, Jo?o Alexandre..Springer,,c2004..
4 图书 Logics in artificial intelligence : 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : proceedings /
责任者 Flesca, Sergio,

出版信息 Springer, ,c2002.

ISBN 3-540-44190-5 (acid-free paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Flesca, Sergio,.Logics in artificial intelligence : 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : proceedings /.Springer,,c2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logics in artificial intelligence : 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : proceedings /

Flesca, Sergio,.Springer,,c2002..
5 图书 Advances in artificial intelligence : 28th Canadian Conference on Artificial Intelligence, Canadian AI 2015, Halifax, Nova Scotia, Canada, June 2-5, 2015, Proceedings /
责任者 Barbosa, Denilson,,Milios, Evangelos,

出版信息

ISBN 9783319183558

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Barbosa, Denilson,,Milios, Evangelos,.Advances in artificial intelligence : 28th Canadian Conference on Artificial Intelligence, Canadian AI 2015, Halifax, Nova Scotia, Canada, June 2-5, 2015, Proceedings /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Advances in artificial intelligence : 28th Canadian Conference on Artificial Intelligence, Canadian AI 2015, Halifax, Nova Scotia, Canada, June 2-5, 2015, Proceedings /

Barbosa, Denilson,,Milios, Evangelos,.,.
6 图书 IFAC Workshop on Artificial Intelligence in Real-Time Control (1988 : Swansea)：Artificial intelligence in real-time control
责任者 IFAC Workshop on Artificial Intelligence in Real-Time Control

出版信息 Pergamon ,1989

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
IFAC Workshop on Artificial Intelligence in Real-Time Control.IFAC Workshop on Artificial Intelligence in Real-Time Control (1988 : Swansea)：Artificial intelligence in real-time control.Pergamon,1989.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

IFAC Workshop on Artificial Intelligence in Real-Time Control (1988 : Swansea)：Artificial intelligence in real-time control

IFAC Workshop on Artificial Intelligence in Real-Time Control.Pergamon,1989.
7 图书 Artificial intelligence and computational intelligence : international conference, AICI 2009, Shanghai, China, November 7-8, 2009, proceedings /
责任者 Deng, Hepu.

出版信息 Springer, ,2009.

ISBN 9783642052521 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Deng, Hepu..Artificial intelligence and computational intelligence : international conference, AICI 2009, Shanghai, China, November 7-8, 2009, proceedings /.Springer,,2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Artificial intelligence and computational intelligence : international conference, AICI 2009, Shanghai, China, November 7-8, 2009, proceedings /

Deng, Hepu..Springer,,2009..
8 图书 MICAI 2009 : advances in artificial intelligence : 8th Mexican International Conference on Artificial Intelligence, Guanajuato, Mexico, November 9-13, 2009 : proceedings /
责任者 Aguirre, Arturo Hernandez.

出版信息 Springer, ,c2009.

ISBN 9783642052576 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Aguirre, Arturo Hernandez..MICAI 2009 : advances in artificial intelligence : 8th Mexican International Conference on Artificial Intelligence, Guanajuato, Mexico, November 9-13, 2009 : proceedings /.Springer,,c2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

MICAI 2009 : advances in artificial intelligence : 8th Mexican International Conference on Artificial Intelligence, Guanajuato, Mexico, November 9-13, 2009 : proceedings /

Aguirre, Arturo Hernandez..Springer,,c2009..
9 图书 MICAI 2007 : advances in artificial intelligence : 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007 : proceedings /
责任者 Gelbukh, Alexander,,Kuri Morales, ángel Fernando.

出版信息 Springer, ,c2007.

ISBN 978-3-540-76630-8 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Gelbukh, Alexander,,Kuri Morales, ángel Fernando..MICAI 2007 : advances in artificial intelligence : 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

MICAI 2007 : advances in artificial intelligence : 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007 : proceedings /

Gelbukh, Alexander,,Kuri Morales, ángel Fernando..Springer,,c2007..
10 图书 German Conference on Artificial Intelligence (16th : 1992 : Germany)：GWAI-92: Advances in arrificial intelligence
责任者 GWAI-92,German Conference on Artificial Intelligence

出版信息 Springer ,1993

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
GWAI-92,German Conference on Artificial Intelligence.German Conference on Artificial Intelligence (16th : 1992 : Germany)：GWAI-92: Advances in arrificial intelligence.Springer,1993.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

German Conference on Artificial Intelligence (16th : 1992 : Germany)：GWAI-92: Advances in arrificial intelligence

GWAI-92,German Conference on Artificial Intelligence.Springer,1993.

通借成功!

预约成功!