|
|
|
CSL '87 [electronic resource] : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter. by Börger, Egon [editor.] | Büning, Hans Kleine [editor.] | Richter, Michael M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 329Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
CSL '88 [electronic resource] : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter. by Börger, Egon [editor.] | Büning, Hans Kleine [editor.] | Richter, Michael M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 385Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
CSL '89 [electronic resource] : 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter. by Börger, Egon [editor.] | Büning, Hans Kleine [editor.] | Richter, Michael M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 440Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|