检索条件： Automated reasoning with analytic tableaux and related methods : ( 题名 )

检索结果共有5条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 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..
2 图书 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..
3 图书 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..
4 图书 Automated reasoning with analytic tableaux and related methods : 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings /
责任者 Olivetti, Nicola.

出版信息 Springer, ,c2007.

ISBN 978-3-540-73098-9 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Olivetti, Nicola..Automated reasoning with analytic tableaux and related methods : 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Automated reasoning with analytic tableaux and related methods : 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings /

Olivetti, Nicola..Springer,,c2007..
5 图书 Automated reasoning with analytic tableaux and related methods : 14th international conference, Tableaux 2005, Koblenz, Germany, September 14-17, 2005, proceedings /
责任者 Beckert, Bernhard.

出版信息 Springer, ,c2005.

ISBN 3-540-28931-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Beckert, Bernhard..Automated reasoning with analytic tableaux and related methods : 14th international conference, Tableaux 2005, Koblenz, Germany, September 14-17, 2005, proceedings /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Automated reasoning with analytic tableaux and related methods : 14th international conference, Tableaux 2005, Koblenz, Germany, September 14-17, 2005, proceedings /

Beckert, Bernhard..Springer,,c2005..

通借成功!

预约成功!