Dyfyniad APA

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

Dyfyniad Arddull Chicago

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

Dyfyniad MLA

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

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.