Цитування запису:
Стиль цитування APA (7-ме видання)
Aschieri, F., & Berardi, S. (2010). Interactive Learning-Based Realizability for Heyting Arithmetic with EM1. Logical Methods in Computer Science e.V.
Успішно скопійовано в буфер обміну
Не вдалося скопіювати в буфер обміну
Чикаго стиль цитування (17-те видання)
Aschieri, Federico, та Stefano Berardi. Interactive Learning-Based Realizability for Heyting Arithmetic with EM1. Logical Methods in Computer Science e.V, 2010.
Успішно скопійовано в буфер обміну
Не вдалося скопіювати в буфер обміну
Стиль цитування MLA (9-ме видання)
Aschieri, Federico, та Stefano Berardi. Interactive Learning-Based Realizability for Heyting Arithmetic with EM1. Logical Methods in Computer Science e.V, 2010.
Успішно скопійовано в буфер обміну
Не вдалося скопіювати в буфер обміну
Попередження: стилі цитування не завжди правильні на всі 100%.