Baaz, M., Leitsch, A., & Reis, G. (2015, July). A Note on the Complexity of Classical and Intuitionistic Proofs. 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 657-666. https://doi.org/10.1109/LICS.2015.66
Citácia podle Chicago (17th ed.)Baaz, Matthias, Alexander Leitsch, a Giselle Reis. "A Note on the Complexity of Classical and Intuitionistic Proofs." 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science Jul. 2015: 657-666. https://doi.org/10.1109/LICS.2015.66.
Citácia podľa MLA (8th ed.)Baaz, Matthias, et al. "A Note on the Complexity of Classical and Intuitionistic Proofs." 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul. 2015, pp. 657-666, https://doi.org/10.1109/LICS.2015.66.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..