Theory and Applications of Satisfiability Testing - SAT...

Main
Computers - Computer Science
Theory and Applications of...

Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, ...

Name: Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, ...
ISBN: 9783319092836

Carsten Sinz, Uwe Egly

0 / 0

0 comments

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

种类:

Computers - Computer Science

年:

2014

出版:

2014

出版社:

Springer

语言:

english

页:

448

ISBN 10:

3319092839

ISBN 13:

9783319092836

系列:

LNCS 8561

文件:

PDF, 6.61 MB

IPFS:

english, 2014

线上阅读

正在转换

转换为失败

Theory and Applications of Satisfiability Testing - SAT...

Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, ...

您可能会感兴趣

关键词