Bookmark Saya

Semantic Scholar Open Access 1986 1418 sitasi

Implementing mathematics with the Nuprl proof development system

R. Constable S. Allen Mark Bromley R. Cleaveland J. Cremer +7 lainnya
Lihat Sumber

Topik & Kata Kunci

Mathematics Computer Science

Penulis (12)

R

R. Constable

S

S. Allen

M

Mark Bromley

R

R. Cleaveland

J

J. Cremer

R

R. Harper

D

Douglas J. Howe

T

Todd B. Knoblock

N

N. Mendler

P

P. Panangaden

J

James T. Sasaki

S

Scott F. Smith

Format Sitasi

APA MLA BibTeX
Constable, R., Allen, S., Bromley, M., Cleaveland, R., Cremer, J., Harper, R. et al. (1986). Implementing mathematics with the Nuprl proof development system. https://www.semanticscholar.org/paper/3ca1248b6560948342753d4f4f5e0411d2084663

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →
Lihat di Sumber
Informasi Jurnal
Tahun Terbit
1986
Bahasa
en
Total Sitasi
1418×
Sumber Database
Semantic Scholar
Akses
Open Access ✓