IMSc Library catalog › Results of search for 'au:"Constable, R L."'

Your search returned 3 results.

Not what you expected? Check for suggestions

			No cover image available Implementing mathematics with the nuprl proof development system by Constable, R.L. Material type: Text;Language: ; Format: print Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:36 Shelf No:1 Call number: 519.688 CON. Place hold Log in to add tags
			Introduction to the PL/CV2 Programming Logic by Constable, R L \| Johnson, S D \| Eichenlaub, C D. Series: Lecture notes in computer science ; 00135Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1982Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 47, Shelf No: 48 Call number: 681 LNCS. Place hold Log in to add tags
			An Introduction to the PL/CV2 Programming Logic [electronic resource] / by R. L. Constable, S. D. Johnson, C. D. Eichenlaub. by Constable, R. L [author.] \| Johnson, S. D [author.] \| Eichenlaub, C. D [author.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 135Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags