检索条件： International Conference on Artificial Intelligence and Symbolic Mathematical Computation ( 任意词 )

检索结果共有15条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 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..
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 : 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..
4 图书 Formal concept analysis : 7th international conference, ICFCA 2009, Darmstadt, Germany, May 2009 ; proceedings /
责任者 Ferre, Sebastien.,Rudolph, Sebastian.

出版信息 Springer, ,c2009.

ISBN 9783642018145 (softcover ; alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Ferre, Sebastien.,Rudolph, Sebastian..Formal concept analysis : 7th international conference, ICFCA 2009, Darmstadt, Germany, May 2009 ; proceedings /.Springer,,c2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal concept analysis : 7th international conference, ICFCA 2009, Darmstadt, Germany, May 2009 ; proceedings /

Ferre, Sebastien.,Rudolph, Sebastian..Springer,,c2009..
5 图书 Formal concept analysis : 6th international conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008 ; proceedings /
责任者 Medina, Raoul.,Obiedkov, Sergei.

出版信息 Springer, ,c2008.

ISBN 9783540781363 (softcover ; alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Medina, Raoul.,Obiedkov, Sergei..Formal concept analysis : 6th international conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008 ; proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal concept analysis : 6th international conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008 ; proceedings /

Medina, Raoul.,Obiedkov, Sergei..Springer,,c2008..
6 图书 Formal concept analysis : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, proceedings /
责任者 Baixeries, Jaume,,Sacarea, Christian,,Ojeda-Aciego, Manuel,

出版信息

ISBN 9783319195445

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Baixeries, Jaume,,Sacarea, Christian,,Ojeda-Aciego, Manuel,.Formal concept analysis : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, proceedings /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal concept analysis : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, proceedings /

Baixeries, Jaume,,Sacarea, Christian,,Ojeda-Aciego, Manuel,.,.
7 图书 Formal concept analysis : 4th international conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006 : proceedings /
责任者 Missaoui, R.,Schmid, Jürg,

出版信息 Springer, ,c2006.

ISBN 3-540-32203-5 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Missaoui, R.,Schmid, Jürg,.Formal concept analysis : 4th international conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006 : proceedings /.Springer,,c2006..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal concept analysis : 4th international conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006 : proceedings /

Missaoui, R.,Schmid, Jürg,.Springer,,c2006..
8 图书 Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings /
责任者 Pfenning, Frank.

出版信息 Springer, ,c2007.

ISBN 978-3-540-73594-6 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Pfenning, Frank..Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings /

Pfenning, Frank..Springer,,c2007..
9 图书 Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings /
责任者 Hodges, Wilfrid.,Queiroz, Ruy J. G. B. de.

出版信息 Springer, ,c2008.

ISBN 9783540699361 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Hodges, Wilfrid.,Queiroz, Ruy J. G. B. de..Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings /

Hodges, Wilfrid.,Queiroz, Ruy J. G. B. de..Springer,,c2008..
10 图书 Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings /
责任者 Nieuwenhuis, Robert.

出版信息 Springer, ,c2005.

ISBN 3-540-28005-7

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Nieuwenhuis, Robert..Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings /

Nieuwenhuis, Robert..Springer,,c2005..

通借成功!

预约成功!