Dyfyniad APA

Gutierrez, J., Najib, M., Perelli, G., & Wooldridge, M. (2019). On computational tractability for rational verification. International Joint Conferences on Artificial Intelligence.

Dyfyniad Arddull Chicago

Gutierrez, J., M. Najib, G. Perelli, and M. Wooldridge. On Computational Tractability for Rational Verification. International Joint Conferences on Artificial Intelligence, 2019.

Dyfyniad MLA

Gutierrez, J., et al. On Computational Tractability for Rational Verification. International Joint Conferences on Artificial Intelligence, 2019.

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