APA Zitierstil

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

Chicago Zitierstil

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

MLA Zitierstil

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

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.