检索条件： Calmet, Jacques. ( 著者 )

检索结果共有2条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, proceedings /
责任者 Calmet, Jacques.

出版信息 Springer, ,c2002.

ISBN 3-540-43865-3 (alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Calmet, Jacques..Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, proceedings /.Springer,,c2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, proceedings /

Calmet, Jacques..Springer,,c2002..
2 图书 Mathematical methods in computer science : essays in memory of thomas beth /
责任者 Calmet, Jacques.,Geiselmann, Willi.,Muller-Quade, Jorn.

出版信息 Springer, ,c2008.

ISBN 9783540899938 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Calmet, Jacques.,Geiselmann, Willi.,Muller-Quade, Jorn..Mathematical methods in computer science : essays in memory of thomas beth /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Mathematical methods in computer science : essays in memory of thomas beth /

Calmet, Jacques.,Geiselmann, Willi.,Muller-Quade, Jorn..Springer,,c2008..

通借成功!

预约成功!