|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
WOPPLOT 86 - Parallel Processing: Logic, Organization, and Technology Proceedings, Workshop, Neubiberg, FRG, 1986 by Becker, J D. Ed | Eisele, I. Ed. Series: Lecture notes in computer science ; 00253Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 4 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
Computation Theory and Logic by Borger, Egon. Ed. Series: Lecture notes in computer science ; 00270Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 4 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Principles of Mathematics Revisited by Hintikka, Jaakko. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; Cambridge University press ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 21 Call number: 51 HIN.
|
|
|
|
Programming Languages Implementation and Logic Programming Proceedings, Int.Workshop, PLILP '88, Orleans, France, 1988 by Deransart, P. Ed | Lorho, B. Ed | Maluszynski, J. Ed. Series: Lecture notes in computer science ; 00348Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 7 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|