Your search returned 10 results.

Not what you expected? Check for suggestions
BOOKS
Computation and Proof Theory Proceedings, Logic Colloquium Aachen 1983 Part II

by Richter, M.M | Borger .E | Oberschelp .W | Schinzed .B | Thomas .W.

Series: Lecture notes in mathematics (Springer-Verlag) ; 1104.Material type: Text Text;Language: ; Format: print Publication details: Berlin Springer-Verlog 1984Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 45 Call number: 51 LNM.

Place hold Log in to add tags
BOOKS
Computer science logic, 4th workshop, CSL'90, Heidelberg, Germany, October 1990, Proceedings

by Borger,E. et al Eds.

Series: Lecture notes in computer science ; 00533Material type: Text 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: 13 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
No cover image available
Logics and machines: Decision problems and complexity

by Borger, E., Ed.

Series: Lecture notes in computer science ; 00171Material type: Text 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: 1 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Computer Science Logic 5th Workshop Proc., CSL '91, Berne, 1991

by Borger,E. et al Eds.

Series: Lecture notes in computer science ; 00626Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
No cover image available
CSL 87

by Borger, E.

Series: Lecture notes in computer science ; 00329Material type: Text 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.

Place hold Log in to add tags
BOOKS
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 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.

Place hold Log in to add tags
BOOKS
No cover image available
CSL '89 Proceedings, 3rd Workshop, FRG, 1989

by Borger, E. Ed | Kleine Buning, H. Ed | Richter, M M. Ed.

Series: Lecture notes in computer science ; 00440Material type: Text 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: 11 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
CSL '88 Proceedings, 2nd Workshop, Duisburg, FRG, 1988

by Borger, E. Ed | Kleine Buning, H. Ed | Richter, M M Ed.

Series: Lecture notes in computer science ; 00385Material type: Text 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: 9 Call number: 681 LNCS.

Place hold Log in to add tags
E-BOOKS
Logic and Machines: Decision Problems and Complexity [electronic resource] : Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23 – 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen / edited by E. Börger, G. Hasenjaeger, D. Rödding.

by Börger, E [editor.] | Hasenjaeger, G [editor.] | Rödding, D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 171Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
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 Text;Language: English; Format: electronic available online remote; 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): .

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha