Lennart Beringer, A. F. Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings. Springer.
Skopiowano do schowka
Nie udało się skopiować do schowka
Cytowanie według stylu Chicago (wyd. 17)
Lennart Beringer, Amy Felty. Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings. Berlín, Alemania: Springer.
Skopiowano do schowka
Nie udało się skopiować do schowka
Cytowanie według stylu MLA (wyd. 9)
Lennart Beringer, Amy Felty. Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings. Springer.
Skopiowano do schowka
Nie udało się skopiować do schowka
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..