检索条件： Automated reasoning : ( 题名 )

检索结果共有14条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Automated reasoning：33 basic research problems
责任者 L. Wos

出版信息 Pentice-Hall ,1988

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
L. Wos.Automated reasoning：33 basic research problems.Pentice-Hall,1988.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Automated reasoning：33 basic research problems

L. Wos.Pentice-Hall,1988.
2 图书 Analogy for automated reasoning
责任者 Stephen Owen

出版信息 Academic Pr. ,1990

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Stephen Owen.Analogy for automated reasoning.Academic Pr.,1990.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Analogy for automated reasoning

Stephen Owen.Academic Pr.,1990.
3 图书 International Conference on Logic Programming and Automated Reasoning(1992 : Russia)：Login Programming and automated reasoning
责任者 International Conference on Logic Programming and Automated Reasoning,LPAR

出版信息 Springer ,1992

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Conference on Logic Programming and Automated Reasoning,LPAR.International Conference on Logic Programming and Automated Reasoning(1992 : Russia)：Login Programming and automated reasoning.Springer,1992.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

International Conference on Logic Programming and Automated Reasoning(1992 : Russia)：Login Programming and automated reasoning

International Conference on Logic Programming and Automated Reasoning,LPAR.Springer,1992.
4 图书 Automated reasoning and mathematics : essays in memory of William W. McCune /
责任者 Bonacina, Maria Paola.,Stickel, M. E.

出版信息 Springer, ,c2013.

ISBN 9783642366741 (pbk.) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bonacina, Maria Paola.,Stickel, M. E..Automated reasoning and mathematics : essays in memory of William W. McCune /.Springer,,c2013..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Automated reasoning and mathematics : essays in memory of William W. McCune /

Bonacina, Maria Paola.,Stickel, M. E..Springer,,c2013..
5 图书 Automated reasoning : 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings /
责任者 Armando, Alessandro.,Baumgartner, Peter,,Dowek, Gilles.

出版信息 Springer, ,c2008.

ISBN 9783540710691 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Armando, Alessandro.,Baumgartner, Peter,,Dowek, Gilles..Automated reasoning : 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Automated reasoning : 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings /

Armando, Alessandro.,Baumgartner, Peter,,Dowek, Gilles..Springer,,c2008..
6 图书 Automated reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
责任者 Basin, David.,Rusinowitsch, Michael.

出版信息 Springer, ,c2004.

ISBN 3-540-22345-2

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Basin, David.,Rusinowitsch, Michael..Automated reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /.Springer,,c2004..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Automated reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /

Basin, David.,Rusinowitsch, Michael..Springer,,c2004..
7 图书 Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings /
责任者 Gor鈋, Rajeev.,Leitsch, Alexander,,Nipkow, Tobias,

出版信息 Springer, ,2001.

ISBN 3-540-42254-4 (pbk. : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Gor鈋, Rajeev.,Leitsch, Alexander,,Nipkow, Tobias,.Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings /.Springer,,2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings /

Gor鈋, Rajeev.,Leitsch, Alexander,,Nipkow, Tobias,.Springer,,2001..
8 图书 Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings /
责任者 Egly, Uwe,,Ferm鑥ller, C.

出版信息 Springer, ,c2002.

ISBN 3-540-43929-3 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Egly, Uwe,,Ferm鑥ller, C..Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings /.Springer,,c2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings /

Egly, Uwe,,Ferm鑥ller, C..Springer,,c2002..
9 图书 Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings /
责任者 Cialdea Mayer, Marta,,Pirri, Fiora,

出版信息 Springer, ,c2003.

ISBN 3-540-40787-1

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cialdea Mayer, Marta,,Pirri, Fiora,.Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings /.Springer,,c2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings /

Cialdea Mayer, Marta,,Pirri, Fiora,.Springer,,c2003..
10 图书 Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 ; proceedings /
责任者 Giese, Martin.,Waaler, Arild.

出版信息 Springer, ,2009.

ISBN 978-3-642-02715-4 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Giese, Martin.,Waaler, Arild..Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 ; proceedings /.Springer,,2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 ; proceedings /

Giese, Martin.,Waaler, Arild..Springer,,2009..

通借成功!

预约成功!