检索条件： Artificial intelligence and symbolic computation : ( 任意词 )

检索结果共有39条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings /
责任者 Buchberger, Bruno.,Campbell, J. A.,

出版信息 Springer, ,c2004.

ISBN 3-540-23212-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Buchberger, Bruno.,Campbell, J. A.,.Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings /.Springer,,c2004..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings /

Buchberger, Bruno.,Campbell, J. A.,.Springer,,c2004..
2 图书 Artificial intelligence and symbolic computation : 12th international conference, AISC 2014, Seville, Spain, September 11-13, 2014 : proceedings /
责任者 Gonzalo A. Aranda-Corral, Jacques Calmet, Francisco J. Martín-Mateos (eds.).

出版信息 Springer, ,c2014.

ISBN 9783319137698 :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Gonzalo A. Aranda-Corral, Jacques Calmet, Francisco J. Martín-Mateos (eds.)..Artificial intelligence and symbolic computation : 12th international conference, AISC 2014, Seville, Spain, September 11-13, 2014 : proceedings /.Springer,,c2014..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Artificial intelligence and symbolic computation : 12th international conference, AISC 2014, Seville, Spain, September 11-13, 2014 : proceedings /

Gonzalo A. Aranda-Corral, Jacques Calmet, Francisco J. Martín-Mateos (eds.)..Springer,,c2014..
3 图书 Artificial intelligence and symbolic computation : international conference AISC 2000, Madrid, Spain, July 17-19, 2000, revised papers /
责任者 Campbell, J. A.,,Roanes-Lozano, Eugenio.

出版信息 Springer, ,c2001.

ISBN 3-540-42071-1 (pbk. : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Campbell, J. A.,,Roanes-Lozano, Eugenio..Artificial intelligence and symbolic computation : international conference AISC 2000, Madrid, Spain, July 17-19, 2000, revised papers /.Springer,,c2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Artificial intelligence and symbolic computation : international conference AISC 2000, Madrid, Spain, July 17-19, 2000, revised papers /

Campbell, J. A.,,Roanes-Lozano, Eugenio..Springer,,c2001..
4 图书 IMACS World Congress (13th : 1991 : Dublin)：Artificial intelligence, expert systems and symbolic computing
责任者 IMACS World Congress

出版信息 North-Holland ,1992

ISBN 0-444-89703-8

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
IMACS World Congress.IMACS World Congress (13th : 1991 : Dublin)：Artificial intelligence, expert systems and symbolic computing.North-Holland,1992.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

IMACS World Congress (13th : 1991 : Dublin)：Artificial intelligence, expert systems and symbolic computing

IMACS World Congress.North-Holland,1992.
5 图书 Artificial Intelligence and Symbolic Mathematical Computing, International Conference：AISMC-1
责任者 Artificial Intelligence and Symbolic Mathematical Computing, International Conference

出版信息 Springer ,1993

ISBN 3-540-57322-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Artificial Intelligence and Symbolic Mathematical Computing, International Conference.Artificial Intelligence and Symbolic Mathematical Computing, International Conference：AISMC-1.Springer,1993.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Artificial Intelligence and Symbolic Mathematical Computing, International Conference：AISMC-1

Artificial Intelligence and Symbolic Mathematical Computing, International Conference.Springer,1993.
6 图书 Symbolic and quantitative approaches to reasoning with uncertainty : 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013 : proceedings /
责任者 Gaag, Linda van der,

出版信息 Springer, ,c2013.

ISBN 9783642390906 :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Gaag, Linda van der,.Symbolic and quantitative approaches to reasoning with uncertainty : 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013 : proceedings /.Springer,,c2013..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Symbolic and quantitative approaches to reasoning with uncertainty : 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013 : proceedings /

Gaag, Linda van der,.Springer,,c2013..
7 图书 Symbolic and numerical computation for artificial intelligence
责任者 Bruce Randall Donald

出版信息 Academic Pre. ,1992

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bruce Randall Donald.Symbolic and numerical computation for artificial intelligence.Academic Pre.,1992.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Symbolic and numerical computation for artificial intelligence

Bruce Randall Donald.Academic Pre.,1992.
8 图书 Symbolic and quantitative approaches to reasoning with uncertainty : 8th European conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005 : proceedings /
责任者 Godo, L.

出版信息 Springer, ,c2005.

ISBN 3-540-27326-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Godo, L..Symbolic and quantitative approaches to reasoning with uncertainty : 8th European conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005 : proceedings /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Symbolic and quantitative approaches to reasoning with uncertainty : 8th European conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005 : proceedings /

Godo, L..Springer,,c2005..
9 图书 Symbolic and quantitative approaches to reasoning with uncertainty : 7th European conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003 : proceedings /
责任者 Nielsen, Thomas Dyhre.,Zhang, Nevin Lianwen.

出版信息 Springer, ,c2003.

ISBN 3-540-40494-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Nielsen, Thomas Dyhre.,Zhang, Nevin Lianwen..Symbolic and quantitative approaches to reasoning with uncertainty : 7th European conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003 : proceedings /.Springer,,c2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Symbolic and quantitative approaches to reasoning with uncertainty : 7th European conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003 : proceedings /

Nielsen, Thomas Dyhre.,Zhang, Nevin Lianwen..Springer,,c2003..
10 图书 Symbolic and quantitative approaches to reasoning with uncertainty : 6th European conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001 : proceedings /
责任者 Benferhat, Salem,,Besnard, Philippe.

出版信息 Springer, ,2001.

ISBN 3-540-42464-4 (pbk. : acid-free paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Benferhat, Salem,,Besnard, Philippe..Symbolic and quantitative approaches to reasoning with uncertainty : 6th European conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001 : proceedings /.Springer,,2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Symbolic and quantitative approaches to reasoning with uncertainty : 6th European conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001 : proceedings /

Benferhat, Salem,,Besnard, Philippe..Springer,,2001..

通借成功!

预约成功!