检索条件： Dershowitz, Nachum. ( 著者 )

检索结果共有2条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings /
责任者 Dershowitz, Nachum.,Voronkov, A.

出版信息 Springer, ,c2007.

ISBN 978-3-540-75558-6 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Dershowitz, Nachum.,Voronkov, A..Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings /

Dershowitz, Nachum.,Voronkov, A..Springer,,c2007..
2 图书 Pillars of computer science : essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday /
责任者 Trakhtenbrot, B. A.,Avron, Arnon.,Dershowitz, Nachum.,Rabinovich, Alexander.

出版信息 Springer, ,c2008.

ISBN 9783540781264 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Trakhtenbrot, B. A.,Avron, Arnon.,Dershowitz, Nachum.,Rabinovich, Alexander..Pillars of computer science : essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Pillars of computer science : essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday /

Trakhtenbrot, B. A.,Avron, Arnon.,Dershowitz, Nachum.,Rabinovich, Alexander..Springer,,c2008..

通借成功!

预约成功!