APA Citation

Hoos, H. H., & Mitchell, D. G. (2020). Theory and Applications of Satisfiability Testing. Springer Berlin Heidelberg.

Trích dẫn kiểu Chicago

Hoos, Holger H., và David G. Mitchell. Theory and Applications of Satisfiability Testing. Springer Berlin Heidelberg, 2020.

MLA Citation

Hoos, Holger H., và David G. Mitchell. Theory and Applications of Satisfiability Testing. Springer Berlin Heidelberg, 2020.

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.