Constable, R. L. (Robert L.)
Constable, Robert L.
Robert Lee Constable Amerikaans informaticus
Constable, R. L.
Constable, Robert Lee 1952-
Constable, Robert Lee
Robert Lee Constable American computer scientist
Constable, Robert L. 1942-
VIAF ID: 5518284 ( Personal )
Permalink: http://viaf.org/viaf/5518284
Preferred Forms
-
-
-
-
-
- 100 1 _ ‡a Constable, R. L. ‡q (Robert L.)
- 100 1 _ ‡a Constable, R. L. ‡q (Robert L.)
-
-
-
- 100 1 _ ‡a Constable, Robert L. ‡d 1942-
- 100 1 _ ‡a Constable, Robert Lee
- 100 1 _ ‡a Constable, Robert Lee ‡d 1952-
- 100 0 _ ‡a Robert Lee Constable ‡c American computer scientist
- 100 0 _ ‡a Robert Lee Constable ‡c Amerikaans informaticus
4xx's: Alternate Name Forms (14)
Works
Title | Sources |
---|---|
La couv. porte en plus : "Covers all course fundamentals and supplements any class text. Teaches effctive problem-solving techniques. 975 solved problems with complete solutions. Also includes hundreds of additional problems with answers | |
La couv. porte en plus : "Metric edition | |
Implementing mathematics with the Nuprl proof development system | |
Intensional analysis of functions and types | |
An introduction to the PL/CV2 programming logic | |
Logic and program semantics essays dedicated to Dexter Kozen on the occasion of his 60th birthday | |
Metalogical frameworks | |
Prerogativa regis : tertia lectura Roberti Constable de Lyncolnis Inne anno 11 H. 7 | |
Schaum's outline of theory and problems of statistics |