Pich, J., & Santhanam, R. (2022). Learning algorithms versus automatability of Frege systems. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
芝加哥风格引文Pich, J., 与 R. Santhanam. Learning Algorithms Versus Automatability of Frege Systems. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
MLA引文Pich, J., 与 R. Santhanam. Learning Algorithms Versus Automatability of Frege Systems. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
警告：这些引文格式不一定是100％准确.