Beringer, L., & Felty, A. (2012). Interactive theorem proving: Third international conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. proceedings. Imprint: Springer.
Cytowanie według stylu Chicago (wyd. 17)Beringer, Lennart, i Amy Felty. Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings. Berlin, Heidelberg: Imprint: Springer, 2012.
Cytowanie według stylu MLA (wyd. 8)Beringer, Lennart, i Amy Felty. Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings. Imprint: Springer, 2012.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..