Ngā kupu hautoa kōpae
Tohutoro APA (7th ed.)
Strassburger, L., Das, A., & Arisaka, R. (2015). On Nested Sequents for Constructive Modal Logics. Logical Methods in Computer Science e.V.
I tāruatia paitia ki te papatopenga
Kua rahua te tārua ki te papatopenga
Tohutoru Kātū Chicago (17th ed.)
Strassburger, Lutz, Anupam Das, me Ryuta Arisaka. On Nested Sequents for Constructive Modal Logics. Logical Methods in Computer Science e.V, 2015.
I tāruatia paitia ki te papatopenga
Kua rahua te tārua ki te papatopenga
Tohutoro MLA (9th ed.)
Strassburger, Lutz, et al. On Nested Sequents for Constructive Modal Logics. Logical Methods in Computer Science e.V, 2015.
I tāruatia paitia ki te papatopenga
Kua rahua te tārua ki te papatopenga
Kia tūpato: Kāore pea ēnei kupu hautoa i te ōrite pū 100%.