Nieuwenhuis, R. (2020). Automated Deduction – CADE-20. Springer Berlin Heidelberg.
शिकागो स्टाइल उद्धरणNieuwenhuis, Robert. Automated Deduction � CADE-20. Springer Berlin Heidelberg, 2020.
एमएलए उद्धरणNieuwenhuis, Robert. Automated Deduction � CADE-20. Springer Berlin Heidelberg, 2020.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.