Hoos, H. H., & Mitchell, D. G. (2020). Theory and Applications of Satisfiability Testing. Springer Berlin Heidelberg.
シカゴスタイル引用形Hoos, Holger H., , David G. Mitchell. Theory and Applications of Satisfiability Testing. Springer Berlin Heidelberg, 2020.
MLA引用形式Hoos, Holger H., , David G. Mitchell. Theory and Applications of Satisfiability Testing. Springer Berlin Heidelberg, 2020.
警告: この引用は必ずしも正確ではありません.