Yazar
robert l constable
19 cilt bulundu.
Cilt sonuçları
Renaissance and Renewal in the Twelfth Century
Robert L. Benson, Giles Constable, Carol Dana Lanham, Charles Homer Haskins · University of Toronto Press
1434 sayfa · 1991-01-01
Social Science
The Type Theory of PL/CV3
Robert L. Constable, Daniel R. Zlatin · Yayınevi bilinmiyor
35 sayfa · 1983
PL/CV3 (Computer program logic)
On the Relation of Refinement Between Algorithms
Robert L. Constable, Cornell University. Department of Computer Science · Yayınevi bilinmiyor
Sayfa sayısı yok · 1973
Kategori yok
Constructing Mathematics as a Program Logic I
Robert L. Constable, Cornell University. Department of Computer Science · Yayınevi bilinmiyor
Sayfa sayısı yok · 1983
Kategori yok
Computational Foundations of Basic Recursive Function Theory
Cornell University. Dept. of Computer Science, R. L. Constable, S. F. Smith · Yayınevi bilinmiyor
12 sayfa · 1988
Recursion theory