Home | Help | New Search | 中文模式

AS Library Service 


Start Over Return To Browse Limit/Sort Another Search
   
AUTHORS (1-3 of 3)
Johnson, Scott D
1
 book jacket

Request
 A computer system for checking proofs
Johnson, Scott D
Ann Arbor, Mich. : UMI Research Press, c1982
 
 c1982
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Books  D4.5 J69    AVAILABLE    30330000036843
2
 book jacket

Request
 An introduction to the PL/CV2 programming logic
Constable, R. L. (Robert L.)
Berlin ; New York : Springer-Verlag, 1982
 
 1982
PRINTED

Location: Information Sci. Lib., Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  Ser F4.1 C756  LNCS 135    AVAILABLE    30330000019484
 Mathematics Library  QA75.5 .L42  v.135    AVAILABLE    30340200296725
3
 book jacket

 An introduction to the PL/CV2 programming logic
Constable, R. L. (Robert L.)
Berlin ; New York : Springer-Verlag, 1982
E - TOC / Resources
 1982
COMPUTER FILE

Location: Information Sci. Lib.
Start Over Return To Browse Limit/Sort Another Search

Home | Help | 中文模式