Software Technologies: Applications and Foundations Martina Seidl & Steffen Zschaler의 도서 더 보기

Theory and Applications of Satisfiability Testing – SAT 2020

2020년