|
|
|
|
|
|
|
|
|
|
|
Modal Logic, Advances in-; Vol. 1 by Kracht,M.,Ed.,De Rijke,M. Ed | Wansing, H., Ed | Zakharyaschev, M., Ed. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: USA ; CSLI Pub., ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 5 Call number: 510.6 KRA.
|
|
|
|
Selected papers on computer science by Knuth, Donald Ervin. Series: CSLI lecture notes; 59Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: [Stanford, Calif.] ; CSLI Publications: CUP ; c1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 7 Call number: 681(081) KNU.
|
|
|
|
Exploring logical dynamics by van Benthem, Johan. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: USA ; CSLI pub. & Folli ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BEN.
|
|
|
|
Digital typography by Knuth, Donald E. Series: CLSI Lecture Notes; 78Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Stanford ; CSLI Publications ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 18 Call number: 681.9 KNU.
|
|
|
|
Advances in modal logic: volume 3 by Wolter, Frank [et al] Eds. Material type: Text;Language: ; Format:
print
Publication details: Stanford, Calif. ; CSLI Publications ; c1998-<c2002 >Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 10 Call number: 510.6 WOL.
|
|
|
|
|