|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
CSL 87 by Borger, E. Series: Lecture notes in computer science ; 00329Material type: Text;Language: ; Format:
print
Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 7 Call number: 681 LNCS.
|
|
|
|
Computer Science Logic : 6th workshop, CSL '92, San Miniato, Italy, September/October 1992, Selected paers by Borger, E | Jager, G., Martini., Richter,M | Kleine Buning, H. Series: Lecture notes in computer science ; 00702Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computer Science Logic [electronic resource] : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers / edited by E. Börger, G. Jäger, H. Kleine Büning, S. Martini, M. M. Richter. by Börger, E [editor.] | Jäger, G [editor.] | Kleine Büning, H [editor.] | Martini, S [editor.] | Richter, M. M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 702Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|