Bonacina, M. P., & Stickel, M. E. (2020). Automated Reasoning and Mathematics. Springer Berlin Heidelberg.
शिकागो स्टाइल उद्धरणBonacina, Maria Paola, और Mark E. Stickel. Automated Reasoning and Mathematics. Springer Berlin Heidelberg, 2020.
एमएलए उद्धरणBonacina, Maria Paola, और Mark E. Stickel. Automated Reasoning and Mathematics. Springer Berlin Heidelberg, 2020.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.