Huth, M., & Ryan, M. (2005). Logic in computer science: Modelling and reasoning about systems.
Styl ChicagoHuth, Michael, a Mark Ryan. Logic in Computer Science: Modelling and Reasoning About Systems. Cambridge University Press, Cambridge, 2005.
Citace podle MLAHuth, Michael, a Mark Ryan. Logic in Computer Science: Modelling and Reasoning About Systems. 2005.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..