1. Personal communication by e-mail;Aaronson,2020
2. Formal proofs and refutations;Alama,2009
3. Seeking explanations: Abduction in logic, philosophy of science and artificial intelligence;Aliseda Llera,1997
4. Origins of the brain networks for advanced mathematics in expert mathematicians;Amalric;Proceedings of the National Academy of Sciences,2016
5. Towards certified meta-programming with typed template-coq;Anand,2018