Baader F. Franz. (2003). Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28-August 2, 2003 Proceedings. Berlin, Springer-Verlag, 2003.
Chicago Style (17th ed.) CitationBaader F. Franz. Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28-August 2, 2003 Proceedings. Berlin, Springer-Verlag, 2003, 2003.
MLA (9th ed.) CitationBaader F. Franz. Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28-August 2, 2003 Proceedings. Berlin, Springer-Verlag, 2003, 2003.
Warning: These citations may not always be 100% accurate.