Falke, S.(2012). Review of introduction to mathematics of satisfiability, by Victor W. Marek. ACM SIGACT News, 43(3), 41-44. doi:10.1145/2421096.2421105
Bitte überprüfen Sie diese Angaben auf Richtigkeit, bevor Sie sie in Ihre Arbeit aufnehmen.
Falke, S.(2012). Review of introduction to mathematics of satisfiability, by Victor W. Marek. ACM SIGACT News, 43(3), 41-44. doi:10.1145/2421096.2421105