Bonacina, M. P., & Stickel, M. E. (2020). Automated Reasoning and Mathematics. Springer Berlin Heidelberg.
Trích dẫn kiểu ChicagoBonacina, Maria Paola, và Mark E. Stickel. Automated Reasoning and Mathematics. Springer Berlin Heidelberg, 2020.
Deismireacht MLABonacina, Maria Paola, và Mark E. Stickel. Automated Reasoning and Mathematics. Springer Berlin Heidelberg, 2020.
Rabhadh: D'fhéadfadh nach mbeadh na deismireachtaí seo 100% cruinn i gcónaí.