检索条件： Theory and applications of satisfiability testing : ( 题名 )

检索结果共有5条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Theory and applications of satisfiability testing : SAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 : proceedings /
责任者 Marques-Silva, Joa?o.,Sakallah, Karem A.

出版信息 Springer, ,c2007.

ISBN 978-3-540-72787-3 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Marques-Silva, Joa?o.,Sakallah, Karem A..Theory and applications of satisfiability testing : SAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Theory and applications of satisfiability testing : SAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 : proceedings /

Marques-Silva, Joa?o.,Sakallah, Karem A..Springer,,c2007..
2 图书 Theory and applications of satisfiability testing--SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings /
责任者 Kleine Buning, H.,Zhao, Xishun.

出版信息 Springer, ,c2008.

ISBN 9783540797180

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Kleine Buning, H.,Zhao, Xishun..Theory and applications of satisfiability testing--SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Theory and applications of satisfiability testing--SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings /

Kleine Buning, H.,Zhao, Xishun..Springer,,c2008..
3 图书 Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, U.K., June 19-23, 2005 : proceedings /
责任者 Bacchus, Fahiem.,Walsh, Toby.

出版信息 Springer, ,c2005.

ISBN 3-540-26276-8

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bacchus, Fahiem.,Walsh, Toby..Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, U.K., June 19-23, 2005 : proceedings /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, U.K., June 19-23, 2005 : proceedings /

Bacchus, Fahiem.,Walsh, Toby..Springer,,c2005..
4 图书 Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers /
责任者 Giunchiglia, Enrico.,Tacchella, Armando.

出版信息 Springer, ,c2004.

ISBN 3-540-20851-8

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Giunchiglia, Enrico.,Tacchella, Armando..Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers /.Springer,,c2004..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers /

Giunchiglia, Enrico.,Tacchella, Armando..Springer,,c2004..
5 图书 Theory and applications of satisfiability testing - SAT 2009 : 12th international conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009 ; proceedings /
责任者 Kullmann, Oliver.

出版信息 Springer, ,2009.

ISBN 9783642027765

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Kullmann, Oliver..Theory and applications of satisfiability testing - SAT 2009 : 12th international conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009 ; proceedings /.Springer,,2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Theory and applications of satisfiability testing - SAT 2009 : 12th international conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009 ; proceedings /

Kullmann, Oliver..Springer,,2009..

通借成功!

预约成功!