Your search returned 7 results.

Not what you expected? Check for suggestions
1.
Computer Science Logic

by Hans Kleine Buening.

Series: Lecture Notes in Computer ScienceEdition: 1996Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1996Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

2.
Computer Science Logic

by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter.

Series: Lecture Notes in Computer ScienceEdition: 1993Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1993Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

3.
Computer Science Logic

by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter.

Series: Lecture Notes in Computer ScienceEdition: 1992Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1992Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

4.
Computer Science Logic

by Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld.

Series: Lecture Notes in Computer ScienceEdition: 1991Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1991Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

5.
CSL '87

by Egon Börger, Hans Kleine Büning, Michael M. Richter.

Series: Lecture Notes in Computer ScienceEdition: 1988Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1988Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

6.
CSL'88

by Egon Börger, Hans Kleine Büning, Michael M. Richter.

Series: Lecture Notes in Computer ScienceEdition: 1989Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1989Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

7.
CSL '89

by Egon Börger, Hans Kleine Büning, Michael M. Richter.

Series: Lecture Notes in Computer ScienceEdition: 1990Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1990Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .