Ramsay, A. (1988). Formal methods in artificial intelligence. Cambridge University press.
Dyfyniad Arddull ChicagoRamsay, Allan. Formal Methods in Artificial Intelligence. Cambridge: Cambridge University press, 1988.
Dyfyniad MLARamsay, Allan. Formal Methods in Artificial Intelligence. Cambridge University press, 1988.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.