MLA
Campos, José Creissac, and Michael D. Harrison. "Automated Deduction and Usability Reasoning." Encyclopedia of Human Computer Interaction, edited by Claude Ghaoui , IGI Global, 2006, pp. 45-52. https://doi.org/10.4018/978-1-59140-562-7.ch008
APA
Campos, J. C. & Harrison, M. D. (2006). Automated Deduction and Usability Reasoning. In C. Ghaoui (Ed.), Encyclopedia of Human Computer Interaction (pp. 45-52). IGI Global. https://doi.org/10.4018/978-1-59140-562-7.ch008
Chicago
Campos, José Creissac, and Michael D. Harrison. "Automated Deduction and Usability Reasoning." In Encyclopedia of Human Computer Interaction, edited by Claude Ghaoui , 45-52. Hershey, PA: IGI Global, 2006. https://doi.org/10.4018/978-1-59140-562-7.ch008
Export Reference