|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Logic and information flow by Eijck, Jan van. Ed | Eijck, Jan van. Ed | Visser, Albert. Ed. Series: Foundations of computingMaterial type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Cambridge The MIT Press 1994Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 EIJ.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Algebraic Logic and Universal Algebra in Computer Science Proceedings, Conference, Ames, Iowa, USA, 1988 by Bergman, C H. Ed | Maddux, R D. Ed | Pigozzi, D L. Ed. Series: Lecture notes in computer science ; 00425Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 10 Call number: 681 LNCS.
|
|
|
|
|
COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings / G. Mints, eds. by P. Martin-Lof, eds | Martin-Löf, Per | Mint︠s︡, G. E. Series: Lecture notes in computer science ; 417Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Berlin ; New York : Springer-Verlag, c1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 10 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Handbook of Logic and Language by van Benthem, Johan. Ed | ter Meulen, Alice. Ed. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Amsterdam ; Elsevier ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 3 Call number: 510.6(02) BEN.
|
