Bookmark Saya

Semantic Scholar Open Access 1984 904 sitasi

Constructive mathematics and computer programming

P. Martin-Löf
Lihat Sumber DOI

Topik & Kata Kunci

Computer Science Mathematics

Penulis (1)

P

P. Martin-Löf

Format Sitasi

APA MLA BibTeX
Martin-Löf, P. (1984). Constructive mathematics and computer programming. https://doi.org/10.1016/S0049-237X(09)70189-2

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →
Lihat di Sumber doi.org/10.1016/S0049-237X(09)70189-2
Informasi Jurnal
Tahun Terbit
1984
Bahasa
en
Total Sitasi
904×
Sumber Database
Semantic Scholar
DOI
10.1016/S0049-237X(09)70189-2
Akses
Open Access ✓