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

Carsten Sinz, Uwe Egly

Springer · 2014

جلد واقعی نیست

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, ...
Brand: Springer
Price: 1290000 IRR
Availability: InStock
ISBN: 9783319092836

مشخصات فایل Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, ... نویسنده Carsten Sinz, Uwe Egly ناشر Springer سال 2014 این فایل به صورت آفلاین ارسال خواهد شد.

Carsten Sinz, Uwe Egly

Springer

English — 2014