|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computational logic and proof theory: 5th Kurt G�del Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings by Gottlob, Georg | Leitsch, Alexander | Mundici, Daniele Eds. Series: Lecture notes in computer science ; 01289Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 19 Call number: 681 LNCS.
|
|
|
|
|
Computer science logic: 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings by Gottlob, Georg | Grandjean, Etienne | Seyr, Katrin Eds. Series: Lecture notes in computer science ; 01584Material type: Text;Language: ; Format:
print
Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 22 Call number: 681 LNCS.
|
|
|
|
|
Computer science logic:18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings by Marcinkowski, Jerzy | Tarlecki, Andrzej Eds. Series: Lecture notes in computer science ; 03210Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 30 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Hardware Specification, Verification and Synthesis: Mathematical Aspects [electronic resource] : Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings / edited by Miriam Leeser, Geoffrey Brown. by Leeser, Miriam [editor.] | Brown, Geoffrey [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 408Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
