Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Results
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.).

by Börger, E. (Egon), 1946- [edt] | Kleine Büning, H. (Hans) [edt] | Richter, Michael M, 1938- [edt] | Workshop on Computer Science Logic (3rd : 1989 : Kaiserslautern, Germany).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©1990Online access: Click here to access online Availability: Items available for loan: e-Library (1).
CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.).

by Workshop on Computer Science Logic (1st : 1987 : Karlsruhe, Germany) | Börger, E. (Egon), 1946- | Kleine Büning, H. (Hans) | Richter, Michael M, 1938-.

Series: Serienbezeichnung | Lecture notes in computer science ; 329.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1988Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Computer science logic : 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers / Hans Kleine Büning (ed.).

by Workshop on Computer Science Logic (9th : 1995 : Paderborn, Germany) | Kleine Büning, H. (Hans) | European Association for Computer Science Logic.

Series: Serienbezeichnung | Lecture notes in computer science ; 1092.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1996Other title: CSL '95.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha