APA (7th ed.) Citation

IJCAR (Conference) Seattle, Wash.), SpringerLink (Online service), Furbach, U., & Shankar, N. (2006). Automated reasoning: Third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings. Springer. https://doi.org/10.1007/11814771

Chicago Style (17th ed.) Citation

IJCAR (Conference) Seattle, Wash.), SpringerLink (Online service), Ulrich Furbach, and N. Shankar. Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : Proceedings. Berlin ; New York: Springer, 2006. https://doi.org/10.1007/11814771.

MLA (9th ed.) Citation

IJCAR (Conference) Seattle, Wash.), et al. Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : Proceedings. Springer, 2006. https://doi.org/10.1007/11814771.